sites

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs

commit 934bc8302da858da261a7a5e4bf6c8ed8e33c206
parent cdf632a4f54cb514710abe42b4e0f3923f73a8df
Author: Jochen Sprickerhof <git@jochen.sprickerhof.de>
Date:   Thu, 16 Nov 2017 13:12:10 +0100

[surf] Use kill in autorefresh script

Diffstat:
Msurf.suckless.org/files/autorefresh.md | 5+----
1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/surf.suckless.org/files/autorefresh.md b/surf.suckless.org/files/autorefresh.md @@ -4,11 +4,8 @@ autorefresh Simple script to auto refresh surf pages. Launch the script again to stop auto reloading (easy to use with dmenu) -Requires xdotools. - #!/bin/sh # Simple script to refresh surf page - # requires xdotool # thuban@singularity.fr REFRESH=3 @@ -23,7 +20,7 @@ Requires xdotools. else echo $$ > $LOCKFILE while true; do - xdotool search --class surf key --window %@ ctrl+r + kill -HUP $1 sleep $REFRESH done fi