diff --git a/nix/dev-shell.nix b/nix/dev-shell.nix --- a/nix/dev-shell.nix +++ b/nix/dev-shell.nix @@ -154,6 +154,8 @@ # Provide decent bash prompt source "${better-prompt}/bin/better-prompt" + $PRJ_ROOT/scripts/set-up-authoritative-keyserver.sh + echo "Welcome to Comm dev environment! :)" ''; } diff --git a/scripts/set-up-authoritative-keyserver.sh b/scripts/set-up-authoritative-keyserver.sh --- a/scripts/set-up-authoritative-keyserver.sh +++ b/scripts/set-up-authoritative-keyserver.sh @@ -5,7 +5,7 @@ user_credentials_file="$PRJ_ROOT/keyserver/secrets/user_credentials.json" set_up_or_abort() { - read -r -p "Do you want to set up a new authoritative keyserver? (y/N) " user_input + read -t 60 -r -p "Do you want to set up a new authoritative keyserver? (y/N) " user_input if [[ $user_input != "Y" && $user_input != "y" ]]; then exit 1