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?

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

Making diagrams with graphviz with multiple people

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

...