From f193d626ab78194f4e2b4a3eb045c1b77f4fce73 Mon Sep 17 00:00:00 2001
From: Ohad Livne <libohad-dev@proton.me>
Date: Tue, 10 Feb 2026 11:15:09 +0200
Subject: [PATCH] Install the TLA+ toolchain as CLI tools

---
 .local/bin/resync-live-git-repo-packages | 13 +++++++++++++
 .profile                                 |  4 ++++
 2 files changed, 17 insertions(+)

diff --git a/.local/bin/resync-live-git-repo-packages b/.local/bin/resync-live-git-repo-packages
index 089fe33..154bb1b 100755
--- a/.local/bin/resync-live-git-repo-packages
+++ b/.local/bin/resync-live-git-repo-packages
@@ -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
diff --git a/.profile b/.profile
index 694b3c4..b384763 100644
--- a/.profile
+++ b/.profile
@@ -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"