Assorted shell and Python scripts

Use port 8080

Changed files
+2 -2
+2 -2
archivebox_schedule
···
-H prio:urgent \
-H tags:warning \
-d "Error running archivebox schedule for $1" \
-
"http://${DESKTOP_IP}/archivebox_schedule"
+
"http://${DESKTOP_IP}:8080/archivebox_schedule"
else
curl \
-H prio:default \
-H tags:incoming_envelope \
-d "archivebox schedule succeeded: $1" \
-
"http://${DESKTOP_IP}/archivebox_schedule"
+
"http://${DESKTOP_IP}:8080/archivebox_schedule"
fi