1 405b6660 2022-02-22 op # event-gen
 2 405b6660 2022-02-22 op 
 3 405b6660 2022-02-22 op This script is the event generator for the bar.  The ideas is that
 4 405b6660 2022-02-22 op it sits waiting for stuff to happen (window focus, date change,
 5 405b6660 2022-02-22 op music player, ...)
 6 405b6660 2022-02-22 op 
 7 405b6660 2022-02-22 op 	#!/usr/bin/env rc
 8 405b6660 2022-02-22 op 
 9 405b6660 2022-02-22 op 	. ./lib
10 405b6660 2022-02-22 op 
11 405b6660 2022-02-22 op Kill the player monitor and the date subshell upon exit
12 405b6660 2022-02-22 op 
13 405b6660 2022-02-22 op 	fn quit {
14 405b6660 2022-02-22 op 		kill $datepid
15 405b6660 2022-02-22 op 		kill $playerpid
16 405b6660 2022-02-22 op 	}
17 405b6660 2022-02-22 op 
18 405b6660 2022-02-22 op 	fn siguhp { quit }
19 405b6660 2022-02-22 op 	fn sigint { quit }
20 405b6660 2022-02-22 op 
21 405b6660 2022-02-22 op The idea behind `uniq_linebuffered' is to avoid refreshing the bar
22 405b6660 2022-02-22 op every tick if the state doesn't change.  It doesn't work for some
23 405b6660 2022-02-22 op reason however...
24 405b6660 2022-02-22 op 
25 405b6660 2022-02-22 op 	# XXX: for some reasons this don't work
26 405b6660 2022-02-22 op 	fn uniq_linebuffered {
27 405b6660 2022-02-22 op 		awk '$0 != l { print ; l=$0 ; fflush(); }'
28 405b6660 2022-02-22 op 	}
29 405b6660 2022-02-22 op 
30 405b6660 2022-02-22 op Simulate the tag and play event at the start to force the process
31 405b6660 2022-02-22 op to update the tags and music info.
32 405b6660 2022-02-22 op 
33 405b6660 2022-02-22 op 	echo tag
34 405b6660 2022-02-22 op 	echo play
35 405b6660 2022-02-22 op 
36 405b6660 2022-02-22 op Date event generator:
37 405b6660 2022-02-22 op 
38 405b6660 2022-02-22 op 	while () {
39 405b6660 2022-02-22 op 		date=`{date +'%H:%M, %Y-%m-%d'}
40 405b6660 2022-02-22 op 		printf 'date\t%s\n' $"date
41 405b6660 2022-02-22 op 		sleep 10 || break
42 405b6660 2022-02-22 op 	} | uniq_linebuffered &
43 405b6660 2022-02-22 op 	datepid=$apid
44 405b6660 2022-02-22 op 
45 405b6660 2022-02-22 op Music player event generator:
46 405b6660 2022-02-22 op 
47 0a0c91f4 2022-05-29 op 	amused monitor play,next,prev,jump &
48 405b6660 2022-02-22 op 	playerpid=$apid
49 405b6660 2022-02-22 op 
50 405b6660 2022-02-22 op Window manager event generator:
51 405b6660 2022-02-22 op 
52 405b6660 2022-02-22 op 	hc --idle
53 405b6660 2022-02-22 op 
54 405b6660 2022-02-22 op Kill everything upon exit
55 405b6660 2022-02-22 op 
56 405b6660 2022-02-22 op 	quit