shell no longer needed

2025-01-20 00:56:45 +01:00 · 2025-01-20 00:56:45 +01:00 · 24ceb47775
commit 24ceb47775
parent 3fb105fa1c
2 changed files with 0 additions and 21 deletions
--- a/install.sh
+++ b/install.sh
@ -158,16 +158,7 @@ reboot_on_consent() {
    fi
 }

-ensure_shell() {
-    if [ -z "$IN_NIX_SHELL" ]; then
-        echo "Restarting script in nix-shell environment."
-        exec nix-shell shell.nix --run "bash $0 $*"
-    fi
-}
-
 main () {
-    ensure_shell "$@"
-
    args "$@"
    permissions