Autorefresh.sh

Script

#!/bin/bash

input=$1;
filename=$(basename $input);

while true
do
	wget http://pads.osp.kitchen/p/css-regions.graphviz/export/txt -O $filename.dot
	dot -Tpdf $filename.dot > $filename.pdf
	sleep 5
done

How to work with it?

Screenshot of a pad used by Alex and Manetta on June 1st 2023, while working on a Graphviz diagram of the Médor workflow.

What does this script do?
...

In which context was it made?
...

What software does it use?
...

How to download these pieces of software?
...

On which systems can this script run?
...

How to run the script?
First make the script executable:

chmod +x autorefresh.sh

And then run the script:

$ ./autorefresh.sh filename