50e8cb5f6b
deploy-workbench.sh: just copy local settings.ini
2024-09-20 11:39:23 -03:00
9473391ba5
deploy-workbench.sh: use proper sudo here
2024-09-20 11:36:42 -03:00
d0f3f337d2
deploy-workbench.sh: update with new settings.ini
2024-09-20 11:36:24 -03:00
3688088958
workbench deploy: detect ubuntu and guide user
2024-09-19 13:06:25 -03:00
b005a5e158
workbench deploy: bugfix workbench-script copy
...
create directory and enforce that it is copied in directory
2024-09-19 13:05:52 -03:00
a9af55d109
workbench: use declarative config instead of args
...
The only arg needed is the location of the config, which is optional
2024-09-19 12:42:03 -03:00
8627cd8003
bugifx workbench deploy
...
use tee instead of cat
here ${SUDO} is used, because it is assumed a third party system which
could have its own configuration, so we deal the different situations
fine (with or without sudo, etc.)
2024-09-19 12:40:49 -03:00
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
0545a2f460
add initial version of workbench deploy system
2024-09-18 13:50:55 -03:00
pedro