Go to file
pedro d3018abde9 workbench: use sudo everywhere
that means adjusting fine the hostname, which right now is hardcoded
to workbench
2024-09-19 12:40:04 -03:00
.gitignore add initial version of workbench deploy system 2024-09-18 13:50:55 -03:00
LICENSE Initial commit 2024-09-18 13:39:41 +00:00
Makefile add initial version of workbench deploy system 2024-09-18 13:50:55 -03:00
README-en.md init code and manual 2024-09-18 11:13:40 -03:00
README-es.md init code and manual 2024-09-18 11:13:40 -03:00
README.md init code and manual 2024-09-18 11:13:40 -03:00
deploy-workbench.sh workbench: use sudo everywhere 2024-09-19 12:40:04 -03:00
requirements.txt init code and manual 2024-09-18 11:13:40 -03:00
workbench-script.py workbench: use sudo everywhere 2024-09-19 12:40:04 -03:00

README.md

workbench-script