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] 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