remove wmpid

This commit is contained in:
Carlos de la Torre 2022-08-07 22:30:21 +03:00 committed by GitHub
parent 606905268f
commit 7af93bccbe
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,18 +1,11 @@
#!/bin/sh #!/bin/sh
# A dmenu wrapper script for system functions. # A dmenu wrapper script for system functions.
export WM="dwm"
case "$(readlink -f /sbin/init)" in case "$(readlink -f /sbin/init)" in
*systemd*) ctl='systemctl' ;; *systemd*) ctl='systemctl' ;;
*) ctl='loginctl' ;; *) ctl='loginctl' ;;
esac esac
wmpid(){ # This function is needed if there are multiple instances of the window manager.
tree="$(pstree -ps $$)"
tree="${tree#*$WM(}"
echo "${tree%%)*}"
}
case "$(printf "🔒 lock\n🚪 leave $WM\n♻ renew $WM\n🐻 hibernate\n🔃 reboot\n🖥shutdown\n💤 sleep\n📺 display off" | dmenu -i -p 'Action: ')" in case "$(printf "🔒 lock\n🚪 leave $WM\n♻ renew $WM\n🐻 hibernate\n🔃 reboot\n🖥shutdown\n💤 sleep\n📺 display off" | dmenu -i -p 'Action: ')" in
'🔒 lock') slock ;; '🔒 lock') slock ;;
"🚪 leave $WM") kill -TERM "$(wmpid)" ;; "🚪 leave $WM") kill -TERM "$(wmpid)" ;;