diff options
author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-02-04 17:08:05 -0500 |
---|---|---|
committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2008-02-04 17:08:05 -0500 |
commit | 0530e4fae13d049315f19d6fda4327d6428fd58f (patch) | |
tree | 5ffd8e3d481dae78b2521d04526de6a6a2a1f4fc | |
parent | f9d55f3a7930cd087554c33f355c79ff20c5d286 (diff) |
setsched: fit on normal screen
-rwxr-xr-x | setsched | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,7 +20,7 @@ if [ -z "$1" ]; then | |||
20 | (awk "{print \$1 \" 'Plugin'\"}" $PDIR | \ | 20 | (awk "{print \$1 \" 'Plugin'\"}" $PDIR | \ |
21 | xargs dialog --title "Select Plugin" --backtitle "Current: $ACTIVE" \ | 21 | xargs dialog --title "Select Plugin" --backtitle "Current: $ACTIVE" \ |
22 | --cancel-label "Cancel" --ok-label "Select Plugin" \ | 22 | --cancel-label "Cancel" --ok-label "Select Plugin" \ |
23 | --menu "Select a new plugin to run: " 23 60 16) 2> $TMP | 23 | --menu "Select a new plugin to run: " 15 60 6) 2> $TMP |
24 | OK=$? | 24 | OK=$? |
25 | clear | 25 | clear |
26 | if [ "$OK" != "0" ]; then | 26 | if [ "$OK" != "0" ]; then |