blob: 79827563120d919bb62185869c6261753f0d920a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#!/bin/bash
pacman -Qq darkhttpd >/dev/null || { echo "Install darkhttpd to use this feature." && exit 1; }
readonly addr=127.0.0.1 port=8000
serve() {
darkhttpd /usr/share/webapps/element --port "$port" --addr "$addr" --daemon --log /dev/null
}
stop() {
pkill --signal SIGINT -f 'webapps/element'
}
restart() {
stop
serve
}
status() {
if pgrep -f 'webapps/element'; then
echo "Running."
else
echo "Stopped."
fi
}
if declare -f -- "$1" >/dev/null; then
"$@"
else
echo "This script serves element-web at http://$addr:$port/"
echo "USAGE: $(basename -- "$0") serve|stop|restart|status"
fi
|