commit 4cd25098bbe81ad9c9f74dce5c4a2c0acfc90897 parent 0319d7f5a3946d37ef737a88e08bf0d9f4a035ce Author: Antoine Amarilli <a3nm@a3nm.net> Date: Tue, 6 Jun 2017 10:38:22 +0200 Merge branch 'master' of a3nm.net:git/mybin Diffstat:
| my-rofi | | | 5 | +++++ |
1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/my-rofi b/my-rofi @@ -1,5 +1,10 @@ #!/bin/bash +ROFI=$(pidof $(which rofi)) +if [ ! -z "$ROFI" ] +then + kill "$ROFI" +fi if command -v rofi >/dev/null 2>&1 then # lazy-grab makes it show on keydown