libohad-dev/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Install the TLA+ toolchain as CLI tools

Browse source
This commit is contained in:
Ohad Livne 2026-02-10 11:15:09 +02:00
parent f7642dc396
commit 69126123ff
Signed by: libohad-dev
GPG key ID: 34FDC68B51191A4D
2 changed files with 17 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
.local/bin/resync-live-git-repo-packages
View file

@ -22,3 +22,16 @@ else
cd "$(systemd-path user-state-private)" || exit
git clone https://github.com/simonthum/git-sync
fi
REPO_DIR="$(systemd-path user-state-private)"/tla-bin
if [ -d "${REPO_DIR}" ]
then
git -C "${REPO_DIR}" pull || true
else
cd "$(systemd-path user-state-private)" || exit
git clone https://github.com/pmer/tla-bin
fi
cd "${REPO_DIR}" && \
./download_or_update_tla.sh && \
./install.sh "$(systemd-path user-shared)"/tla-bin && \
chmod --recursive o-rwx "$(systemd-path user-shared)"/tla-bin || true