diff options
| author | Robert Günzler <r@gnzler.io> | 2020-04-23 13:32:37 +0200 |
|---|---|---|
| committer | Robert Günzler <r@gnzler.io> | 2020-04-23 13:32:37 +0200 |
| commit | 0117aa4ffd031f331cf96628af236118dff060e2 (patch) | |
| tree | 0790b1c0a349ff7371027de512c7c20c239ce1c4 /bin/menu | |
| parent | 799a6634b7355b94bffb816c7a676175e5c62774 (diff) | |
bin/menu: make multiline
Diffstat (limited to 'bin/menu')
| -rwxr-xr-x | bin/menu | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/menu b/bin/menu index b415d1a..599d6ed 100755 --- a/bin/menu +++ b/bin/menu @@ -12,7 +12,9 @@ while test $# -gt 0; do done exec "${arg0}" \ - -i \ + --list=4 \ + --index \ + --ignorecase \ --bottom \ --no-overlap \ --prompt "${prompt}:" \ |