Il sito funziona meglio con JavaScript.
Home
Esplora
Aiuto
Accedi
dejvino
/
PinePhoneBoyOS
Segui
1
Vota
0
Forka
0
Codice
Problemi
0
Pull Requests
0
Rilasci
0
Wiki
Attività
Sfoglia il codice sorgente
Add workspace change sound
master
Dejvino
3 anni fa
parent
d14b331a6d
commit
a0ed0e7ec3
3 ha cambiato i file
con
33 aggiunte
e
0 eliminazioni
Visualizzazione separata
Opzioni Diff
Mostra statistiche
Scarica il file Patch
Scarica il file Diff
+2
-0
config/sway/pipboy.conf
+31
-0
usr/local/bin/workspace_sounds_daemon
BIN
usr/local/share/sounds/static.ogg
+ 2
- 0
config/sway/pipboy.conf
Vedi File
@@ -38,4 +38,6 @@ exec "mako"
# example Welcome message
exec "sleep 2; notify-send 'Welcome!' 'Your Pip-Boy is ready to be used.' --icon=dialog-information"
# Sound daemon
exec "worskpace_sounds_daemon"
+ 31
- 0
usr/local/bin/workspace_sounds_daemon
Vedi File
@@ -0,0 +1,31 @@
#!/bin/bash
SOUND=/usr/local/share/sounds/static.ogg
if [ ! -f "$SOUND" ]; then
echo "File '$SOUND' not found." >&2
exit 1
fi
function events() {
swaymsg -m -t subscribe "['workspace']"
}
function daemon() {
printf "p" # PAUSE
while [[ true ]]; do
read
printf " " # PLAY
while read -t 0.1; do
sleep 0.1
done
printf "p" # PAUSE
done
}
function static() {
mplayer -loop 0 $SOUND
}
events | daemon | static
BIN
usr/local/share/sounds/static.ogg
Vedi File
Scrivi
Anteprima
Caricamento…
Annulla
Salva