From 365c07e26fc520ddb3c1ea5fd9f382d5764b91af Mon Sep 17 00:00:00 2001 From: Geoff Murphy Date: Tue, 13 May 2025 16:13:37 +1000 Subject: [PATCH] :bug: Fixed debian dash/bash launching problem with manager --- src/fake_manager.sh | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/fake_manager.sh b/src/fake_manager.sh index b013049..9fb5e1d 100644 --- a/src/fake_manager.sh +++ b/src/fake_manager.sh @@ -1,6 +1,13 @@ #!/usr/bin/env sh +#--------[ Bootstrap Correct Shell ]--------# +if [ "$SHELL" = "/bin/bash" ] && [ ! "$BASH_VERSION" ]; then + bash /usr/sbin/fake $@ + exit +fi + + #--------[ FAKE//OS Logging ]--------# export FAKE_LOG="/var/log/fake/fake-os.log" mkdir -p "$(dirname $FAKE_LOG)"