diff options
| author | Robert Günzler <r@gnzler.io> | 2021-01-21 19:33:10 +0100 |
|---|---|---|
| committer | Robert Günzler <r@gnzler.io> | 2021-01-21 19:40:20 +0100 |
| commit | 72c39240811f1def43fca71de51566d206f7728d (patch) | |
| tree | a33aa1331fc55b587a243f64ef94d781df40a8ae /bin/menu | |
| parent | 0762801ed9627021e732cdeb225a737f44e3df42 (diff) | |
Update 2021-01-21T18:33:10Z
Diffstat (limited to 'bin/menu')
| -rwxr-xr-x | bin/menu | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bin/menu b/bin/menu index 94d886b..82979d5 100755 --- a/bin/menu +++ b/bin/menu @@ -38,8 +38,12 @@ done passwd_arg= [ -n "${MENU_PASSWORD}" ] && passwd_arg=--password + +# make sure there we are the only running menu +pgrep "${arg0}" && pkill "${arg0}" + + # --monitor=1 \ exec "${arg0}" \ - --monitor=1 \ --no-overlap \ --ignorecase \ --list=10 \ |