diff options
Diffstat (limited to 'local/bin/grubfk')
| -rwxr-xr-x | local/bin/grubfk | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/local/bin/grubfk b/local/bin/grubfk new file mode 100755 index 0000000..06a87f5 --- /dev/null +++ b/local/bin/grubfk @@ -0,0 +1,29 @@ +#!/bin/zsh + +grub_screen() { + clear + echo -e "\n\n\t GNU GRUB 2.06" + echo -e "\n" + echo -e "\t Minimal BASH-like line editing is supported. For the first word, TAB" + echo -e "\t lists possible command completions. Anywhere else TAB lists possible" + echo -e "\t device or file completions." + echo -e "\n" +} + +grub_screen + +# Fake GRUB prompt +while true; do + echo -ne " grub> " + read -r command + case $command in + exit|quit) + clear + break + ;; + *) + echo -e "\t Unknown command. Press a key to continue..." + read -r dummy + ;; + esac +done |
