Add river-restart-eww.sh

This commit is contained in:
Alexander Rosenberg 2025-02-06 15:31:51 -08:00
parent a4106633c8
commit 01fe96b46f
Signed by: Zander671
GPG Key ID: 5FD0394ADBD72730
2 changed files with 8 additions and 1 deletions

View File

@ -0,0 +1,6 @@
#!/usr/bin/env zsh
killall eww 2>/dev/null
pkill -f 'sbcl.+.config/+river/+config/+display-listener.lisp' 2>/dev/null
"${HOME}/.config/river/config/display-listener.lisp" 2>&1 >/dev/null &

View File

@ -16,7 +16,8 @@ local entries=('Select system sound output' 'select-sound-output.sh' 'true'
'Enable or disable TV' 'tv-power-menu.sh' 'is-desktop-p' 'Enable or disable TV' 'tv-power-menu.sh' 'is-desktop-p'
'Configure USB device access' 'usbguard-menu.py' 'pgrep usbguard-daemon' 'Configure USB device access' 'usbguard-menu.py' 'pgrep usbguard-daemon'
'Power settings (restart and shutdown)' 'system-power-menu.sh' 'true' 'Power settings (restart and shutdown)' 'system-power-menu.sh' 'true'
'Login to captive portal protected WiFi' 'login-to-wifi.sh' 'is-laptop-p') 'Login to captive portal protected WiFi' 'login-to-wifi.sh' 'is-laptop-p'
'Restart top bar' 'river-restart-eww.sh' '[[ "${XDG_CURRENT_DESKTOP}" == river ]]')
local entry_array=() local entry_array=()
local enabled_entries=() local enabled_entries=()