diff options
-rw-r--r-- | ok | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/ok b/ok new file mode 100644 index 0000000..26ec2b7 --- /dev/null +++ b/ok | |||
@@ -0,0 +1,26 @@ | |||
1 | # -*- sh -*- | ||
2 | |||
3 | watch(){ # repeatedly serve directory as files change | ||
4 | while : | ||
5 | do | ||
6 | printf '%s\n' *.ul *.ol *.al *.dl | | ||
7 | ok entr -d -r ok serve | ||
8 | $NORUN && break | ||
9 | done | ||
10 | } | ||
11 | |||
12 | build(){ # build the linklog | ||
13 | ok ./ll | ||
14 | } | ||
15 | |||
16 | serve(){ # serve the linklog locally | ||
17 | dep build | ||
18 | quietly killall cock | ||
19 | ok cock | ||
20 | } | ||
21 | |||
22 | publish(){ # publish to server | ||
23 | dep build | ||
24 | ok rsync -vzrlD --delete --exclude .git \ | ||
25 | ./ hetzner:/var/www/www.acdw.net/lists/ | ||
26 | } | ||