diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-04-04 15:26:17 +0200 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-04-04 15:26:17 +0200 |
| commit | bfa28ff93026688bc5dc97666442977623579b7f (patch) | |
| tree | 7f06c577d9ecf12f6597f3b6d63e5d09a28579c4 | |
| parent | be327b9710a668c8c0b8cd553cdeca7705447788 (diff) | |
syntax on editor checking fix
| -rw-r--r-- | src/core/libs/lib-ui-interactive.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/libs/lib-ui-interactive.sh b/src/core/libs/lib-ui-interactive.sh index 360a7c5..8beb6fb 100644 --- a/src/core/libs/lib-ui-interactive.sh +++ b/src/core/libs/lib-ui-interactive.sh @@ -792,7 +792,7 @@ EOF # ... notify "Before installing GRUB, you must review the configuration file. You will now be put into the editor. After you save your changes and exit the editor, you can install GRUB." - [ "$EDITOR" ] || interactive_get_editor + [ -n "$EDITOR" ] || interactive_get_editor $EDITOR $grubmenu DEVS=$(finddisks 1 _) |