9473391ba5
deploy-workbench.sh: use proper sudo here
d0f3f337d2
deploy-workbench.sh: update with new settings.ini
3688088958
workbench deploy: detect ubuntu and guide user
b005a5e158
workbench deploy: bugfix workbench-script copy
WIP: contribuciones en estancia con ekoa
a9af55d109
workbench: use declarative config instead of args
8627cd8003
bugifx workbench deploy
d3018abde9
workbench: use sudo everywhere
6c781a0503
clearer start-end of script
pedro
renamed repository from 2024-05-31 09:14:32 +00:00
docker
to trustchain-oc1-or.../idhub-docker