From 48d960878d582db1fdd8915ffcf8cff19475f0d8 Mon Sep 17 00:00:00 2001
From: Ohad Livne <libohad-dev@proton.me>
Date: Fri, 27 Mar 2026 15:20:31 +0300
Subject: [PATCH 1/2] Correctly update executable links

---
 .local/share/github-versions/fstar | 2 +-
 .local/share/github-versions/tlapm | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.local/share/github-versions/fstar b/.local/share/github-versions/fstar
index 26499f3..b56a055 100755
--- a/.local/share/github-versions/fstar
+++ b/.local/share/github-versions/fstar
@@ -20,7 +20,7 @@ install_fstar() {
         rm --force --recursive "${INSTALL_DIR}" && \
         mv "${tempdir}"/fstar "$(dirname "${INSTALL_DIR}")" && \
         rm --force --recursive "${tempdir}" && \
-        ln --symbolic "${INSTALL_DIR}"/bin/fstar.exe "$(systemd-path user-binaries)"/fstar.exe
+        ln --force --symbolic "${INSTALL_DIR}"/bin/fstar.exe "$(systemd-path user-binaries)"/fstar.exe
 }
 
 github_update "${package}" "${repo}" fstar_resource install_fstar
diff --git a/.local/share/github-versions/tlapm b/.local/share/github-versions/tlapm
index 2da3899..34e5227 100755
--- a/.local/share/github-versions/tlapm
+++ b/.local/share/github-versions/tlapm
@@ -19,7 +19,7 @@ install_tlapm() {
         rm --force --recursive "${INSTALL_DIR}" && \
         mv "${tempdir}"/tlapm "$(dirname "${INSTALL_DIR}")" && \
         rm --force --recursive "${tempdir}" && \
-        ln --symbolic "${INSTALL_DIR}"/bin/tlapm "$(systemd-path user-binaries)"/tlapm
+        ln --force --symbolic "${INSTALL_DIR}"/bin/tlapm "$(systemd-path user-binaries)"/tlapm
 }
 
 github_update "${package}" "${repo}" tlapm_resource install_tlapm 1.6.0-pre

From aa1b9433db8d01ecc7c2757da276c4227ca7cc65 Mon Sep 17 00:00:00 2001
From: Ohad Livne <libohad-dev@proton.me>
Date: Mon, 6 Apr 2026 21:41:34 +0300
Subject: [PATCH 2/2] Provide installation suggestions for missing utilities

---
 .config/setup/04-install-deb-packages.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.config/setup/04-install-deb-packages.sh b/.config/setup/04-install-deb-packages.sh
index b742e59..5e7c900 100755
--- a/.config/setup/04-install-deb-packages.sh
+++ b/.config/setup/04-install-deb-packages.sh
@@ -15,6 +15,7 @@ DEB_PKGS=(
     borgbackup
     build-essential
     catatonit
+    command-not-found
     curl
     default-jdk
     direnv