diff options
Diffstat (limited to 'defaultenv-2/menu/menu/mainmenu')
-rw-r--r-- | defaultenv-2/menu/menu/mainmenu | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/defaultenv-2/menu/menu/mainmenu b/defaultenv-2/menu/menu/mainmenu deleted file mode 100644 index f10f67a62f..0000000000 --- a/defaultenv-2/menu/menu/mainmenu +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/sh - -savepath=$PATH -export menupath=$PATH:/env/menu - -. /env/data/ansi-colors - -while true; do - export PATH=${menupath} - - echo $PATH - - menu -a -m boot -d "${CYAN}Welcome to Barebox${NC}" - - boot-entries-collect - - menu -e -a -m boot -c "settings" -d "Settings" - menu -e -a -m boot -c 'PATH=$savepath; echo "enter exit to return to menu"; sh' -d "${DARK_YELLOW}Shell${NC}" - menu -e -a -m boot -c reset -d "${RED}Reset${NC}" - - menu -s -m boot - menu -r -m boot -done |