From e203de9669fc595b7f9f27e9dfdf1e7421c476b9 Mon Sep 17 00:00:00 2001 From: Martin Kepplinger Date: Sat, 25 May 2019 10:22:59 +0200 Subject: [PATCH] gui-init: rename Advanced Settings to Settings Since there are no other settings to choose from, there don't have to be "advanced" ones. --- initrd/bin/gui-init | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/initrd/bin/gui-init b/initrd/bin/gui-init index 242da844..e408b02e 100755 --- a/initrd/bin/gui-init +++ b/initrd/bin/gui-init @@ -174,7 +174,7 @@ while true; do whiptail $MAIN_MENU_BG_COLOR --clear --title "$CONFIG_BOOT_GUI_MENU_NAME" \ --menu "$date\nTOTP: $TOTP | HOTP: $HOTP" 20 90 10 \ 'y' ' Default boot' \ - 'a' ' Advanced Settings -->' \ + 'a' ' Settings -->' \ 'P' ' Power Off' \ 2>/tmp/whiptail || recovery "GUI menu failed" @@ -182,8 +182,8 @@ while true; do fi if [ "$totp_confirm" = "a" ]; then - whiptail --clear --title "Advanced Settings" \ - --menu "Configure Advanced Settings" 20 90 10 \ + whiptail --clear --title "Settings" \ + --menu "Configure Settings" 20 90 10 \ 'o' ' Other Boot Options -->' \ 't' ' TPM/TOTP/HOTP Options -->' \ 's' ' Update checksums and sign all files in /boot' \