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 7b26ba00fb
commit 4f6aa86230
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

4
.profile
View file

@ -39,6 +39,10 @@ if [ -d "$(go env GOBIN)" ] ; then
PATH="$(go env GOBIN):$PATH"
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
if [ -d "$(systemd-path user-state-private)"/git-sync ] ; then
PATH="$(systemd-path user-state-private)/git-sync:$PATH"