Compare commits
2 Commits
Author | SHA1 | Date |
---|---|---|
Peter | 8124feffde | |
Peter Ludikovsky | 9a3a90a588 |
|
@ -1,7 +1,3 @@
|
||||||
# spacestatus
|
# SpaceStatus
|
||||||
|
|
||||||
A simple `bash` script to display the open/close status of `/usr/space`.
|
The new API for the Hacker-/Makerspace `/usr/space`, replacing the old `bash` script.
|
||||||
|
|
||||||
Depends on:
|
|
||||||
- `isc-dhcp-server`
|
|
||||||
- `arping`
|
|
||||||
|
|
File diff suppressed because it is too large
Load Diff
|
@ -1 +0,0 @@
|
||||||
{"api":"0.13","space":"/usr/space","logo":"","url":"https://usrspace.at","location":{"lat":47.92305,"lon":16.21173,"address":"Mühlgasse 8, 2544 Leobersdorf, Austria"},"state":{"open":%s,"lastchange":%d},"contact":{"twitter":"@usrspace_at","email":"kernel AT usrspace.at","facebook":"https://facebook.com/usrspace.at","keymasters":[{"name":"Peter","twitter":"@pludikovsky"}]},"issue_report_channels":["email","twitter"],"feeds":{"calendar":{"type":"ical","url":"https://usrspace.at/termine.ics"}},"cache":{"schedule":"m.05"},"projects":["https://gitlab.usrspace.at/","https://www.usrspace.at/w/index.php?title=Kategorie:Projekte"]}
|
|
|
@ -1,77 +0,0 @@
|
||||||
#!/usr/bin/env bash
|
|
||||||
|
|
||||||
[ ! -z "$DEBUG" ] && set -x
|
|
||||||
|
|
||||||
#set -eu
|
|
||||||
STATUS_HTML=/var/tmp/spacestatus.html
|
|
||||||
STATUS_JSON=/var/tmp/spacestatus.json
|
|
||||||
|
|
||||||
function write_html {
|
|
||||||
status=$1
|
|
||||||
TEMPLATE_HTML='<!DOCTYPE html><html><head><title>Status /usr/space: %s</title></head><body><p><code style="color: %s">%s</code></p></html>'
|
|
||||||
CLOSED_HTML='Closed darkred Closed'
|
|
||||||
OPEN_HTML='Open brightgreen Open'
|
|
||||||
|
|
||||||
if [ "$status" -gt 0 ]
|
|
||||||
then
|
|
||||||
printf "$TEMPLATE_HTML" $OPEN_HTML > $STATUS_HTML
|
|
||||||
else
|
|
||||||
printf "$TEMPLATE_HTML" $CLOSED_HTML > $STATUS_HTML
|
|
||||||
fi
|
|
||||||
}
|
|
||||||
|
|
||||||
function write_json {
|
|
||||||
status=$1
|
|
||||||
TEMPLATE_JSON=$( cat /usr/local/etc/spacestatus.json )
|
|
||||||
CLOSED_JSON='false'
|
|
||||||
OPEN_JSON='true'
|
|
||||||
|
|
||||||
# Previous status Open & Open now -> skip
|
|
||||||
grep -q '"open":true' $STATUS_JSON
|
|
||||||
if [[ $? -eq 0 && "$status" -gt 0 ]]
|
|
||||||
then
|
|
||||||
return
|
|
||||||
fi
|
|
||||||
|
|
||||||
# Previous status Closed & Closed now -> skip
|
|
||||||
grep -q '"open":false' $STATUS_JSON
|
|
||||||
if [[ $? -eq 0 && "$status" -eq 0 ]]
|
|
||||||
then
|
|
||||||
return
|
|
||||||
fi
|
|
||||||
|
|
||||||
if [ "$status" -gt 0 ]
|
|
||||||
then
|
|
||||||
printf "$TEMPLATE_JSON" $OPEN_JSON $( date +%s ) > $STATUS_JSON
|
|
||||||
else
|
|
||||||
printf "$TEMPLATE_JSON" $CLOSED_JSON $( date +%s ) > $STATUS_JSON
|
|
||||||
fi
|
|
||||||
}
|
|
||||||
|
|
||||||
function publish {
|
|
||||||
CURL=/usr/bin/curl
|
|
||||||
WEBDAV=https://example.com
|
|
||||||
CREDS='user:pass'
|
|
||||||
|
|
||||||
${CURL} --user "${CREDS}" -T "${STATUS_HTML}" "${WEBDAV}"
|
|
||||||
${CURL} --user "${CREDS}" -T "${STATUS_JSON}" "${WEBDAV}"
|
|
||||||
}
|
|
||||||
|
|
||||||
tmpcount=$(mktemp)
|
|
||||||
exec 3>$tmpcount
|
|
||||||
/usr/sbin/dhcp-lease-list --parsable | awk '{print $4}' | while read ip
|
|
||||||
do
|
|
||||||
/usr/bin/arping -w 1 -f -q $ip
|
|
||||||
[ $? -eq 0 ] && echo 1 >&3
|
|
||||||
done
|
|
||||||
|
|
||||||
exec 3>&-
|
|
||||||
|
|
||||||
leases=$( cat $tmpcount | wc -l )
|
|
||||||
|
|
||||||
write_html $leases
|
|
||||||
write_json $leases
|
|
||||||
|
|
||||||
publish
|
|
||||||
|
|
||||||
rm $tmpcount
|
|
Loading…
Reference in New Issue