From ead4a47f50f0eeec6e1f9e3a57bd5b83eaa28bb2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micka=C3=ABl=20Canouil?=
 <8896044+mcanouil@users.noreply.github.com>
Date: Sun, 26 Oct 2025 20:48:07 +0100
Subject: [PATCH] fix: install TinyTeX directly system-wide

---
 .github/.devcontainer/tinytex/install.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/.devcontainer/tinytex/install.sh b/.github/.devcontainer/tinytex/install.sh
index 2b67fb1..19389c5 100644
--- a/.github/.devcontainer/tinytex/install.sh
+++ b/.github/.devcontainer/tinytex/install.sh
@@ -54,8 +54,12 @@ install_tinytex() {
   check_packages libfontconfig
   # su "${USERNAME}" -c 'quarto install tinytex --quiet'
   check_packages curl ca-certificates
-  su "${USERNAME}" -c 'curl -sL "https://yihui.org/tinytex/install-bin-unix.sh" | sh'
+  export TINYTEX_DIR="/opt/tinytex"
+  curl -sL "https://yihui.org/tinytex/install-bin-unix.sh" | sh
   echo "TinyTeX installation complete."
+  ln -s "${TINYTEX_DIR}/.TinyTeX" "${HOME}/.TinyTeX"
+  ln -s "${TINYTEX_DIR}/.TinyTeX" "/home/${USERNAME}/.TinyTeX"
+  ln -s "${TINYTEX_DIR}/.TinyTeX/bin/$(uname -m)-linux" /usr/local/bin/tinytex
 }
 
 install_tinytex