diff options
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 \ |