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 f193d626ab
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 cd "$(systemd-path user-state-private)" || exit
git clone https://github.com/simonthum/git-sync git clone https://github.com/simonthum/git-sync
fi 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

4
.profile
View file

@ -39,6 +39,10 @@ if [ -d "$(go env GOBIN)" ] ; then
PATH="$(go env GOBIN):$PATH" PATH="$(go env GOBIN):$PATH"
fi fi
if [ -d "$(systemd-path user-shared)"/tla-bin/bin ] ; then
PATH="$(systemd-path user-shared)/tla-bin/bin:$PATH"
fi
# Install the git-sync script # Install the git-sync script
if [ -d "$(systemd-path user-state-private)"/git-sync ] ; then if [ -d "$(systemd-path user-state-private)"/git-sync ] ; then
PATH="$(systemd-path user-state-private)/git-sync:$PATH" PATH="$(systemd-path user-state-private)/git-sync:$PATH"