Compare commits

...

2 Commits

Author SHA1 Message Date
Peter 8124feffde Extend API defs 2022-01-25 08:34:46 +01:00
Peter Ludikovsky 9a3a90a588
Minimal new API definition 2020-07-23 16:19:58 +02:00
4 changed files with 1337 additions and 84 deletions

View File

@ -1,7 +1,3 @@
# spacestatus
# SpaceStatus
A simple `bash` script to display the open/close status of `/usr/space`.
Depends on:
- `isc-dhcp-server`
- `arping`
The new API for the Hacker-/Makerspace `/usr/space`, replacing the old `bash` script.

1335
docs/SpaceStatusAPI.json Normal file

File diff suppressed because it is too large Load Diff

View File

@ -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"]}

View File

@ -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