diff --git a/distrobox/invalid-terminal.sh b/distrobox/invalid-terminal.sh new file mode 100755 index 0000000..5dab9c8 --- /dev/null +++ b/distrobox/invalid-terminal.sh @@ -0,0 +1,13 @@ +#!/bin/bash + +echo "Invalid terminal session. Please use hotkeys to access an existing Distrobox or Host Terminal." +echo "" +echo "Available Distrobox sessions, with matching gnome-terminal profiles, are:" +echo "" +distrobox list | grep -v 'IMAGE' | cut -d '|' -f 2 +for i in 10 9 8 7 6 5 4 3 2 1; do + printf "\rExitting in $i ..." + sleep 1 +done +echo "" +exit