pedro
50e8cb5f6b
deploy-workbench.sh: just copy local settings.ini
2024-09-20 11:39:23 -03:00
pedro
9473391ba5
deploy-workbench.sh: use proper sudo here
2024-09-20 11:36:42 -03:00
pedro
d0f3f337d2
deploy-workbench.sh: update with new settings.ini
2024-09-20 11:36:24 -03:00
pedro
6d3d4e5c2a
make upload snapshot work
2024-09-19 14:04:11 -03:00
pedro
45464c49f0
Makefile: boot_iso: link to workbench_production
2024-09-19 13:08:57 -03:00
pedro
3688088958
workbench deploy: detect ubuntu and guide user
2024-09-19 13:06:25 -03:00
pedro
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
pedro
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
pedro
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
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
pedro
6c781a0503
clearer start-end of script
2024-09-19 11:27:52 -03:00
pedro
0545a2f460
add initial version of workbench deploy system
2024-09-18 13:50:55 -03:00
pedro
44959acdf5
init code and manual
...
attribution:
- cayo did code and explanations
- pedro formatted and edited to inclusion as a repository
2024-09-18 11:13:40 -03:00
pedro
8163ab3c3f
Initial commit
2024-09-18 13:39:41 +00:00
pedro