diff options
Diffstat (limited to '.config/wmii-hg/config.sh')
| -rw-r--r-- | .config/wmii-hg/config.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/.config/wmii-hg/config.sh b/.config/wmii-hg/config.sh index ad4d2fe..64596a8 100644 --- a/.config/wmii-hg/config.sh +++ b/.config/wmii-hg/config.sh @@ -66,8 +66,10 @@ Event() { rmdir -p "$WMII_DIR" 2>/dev/null;; ## WMII-meta events Quit) ## No args - echo ' ==> wmii quit: unmounting' trap - EXIT + if [ -S "$NOTIFY_SOCKET" ]; then + echo STOPPING=1 | socat STDIO UNIX-SENDTO:"$NOTIFY_SOCKET" + fi Event WmiircUnmount Event WmiircQuit;; Warning) ## $@=string @@ -228,9 +230,9 @@ Key() { $MODKEY-x) ## Open program menu local command command="$(path_ls "$_PATH" | wimenu -h "${HIST}.progs" -n 5000)" || return - ( PATH=$_PATH; unset _PATH; exec $command ) & ;; + ( PATH=$_PATH; unset _PATH NOTIFY_SOCKET; exec $command ) & ;; $MODKEY-Return) ## Launch a terminal - ( PATH=$_PATH; unset _PATH; exec x-terminal-emulator ) & ;; + ( PATH=$_PATH; unset _PATH NOTIFY_SOCKET; exec x-terminal-emulator ) & ;; ## Tag actions $MODKEY-t) ## Change to another tag |