pedro
e8433b3bbe
bugfix bad netboot config
2024-09-24 12:14:33 -03:00
pedro
c6f0450e1e
add dnsmasq config
2024-09-24 12:14:24 -03:00
pedro
e99ebaab5c
deploy-workbench: fixes: mkfs.vfat not found
2024-09-24 12:00:33 -03:00
pedro
ce650945ed
bugfix env location
2024-09-24 10:57:01 -03:00
pedro
d82d49c3a8
PXE WIP
2024-09-24 10:51:14 -03:00
pedro
a47fab6c35
deploy-workbench.sh: clearer persistence size
2024-09-20 19:55:21 -03:00
pedro
8fc62ba8da
deploy-workbench.sh: bugfix wrong check
2024-09-20 17:03:50 -03:00
pedro
f1de55e0b3
deploy-workbench: increase persistence partition
...
allow more snapshots on the persistence partition
from 10 to 100 MiB
2024-09-20 17:03:30 -03:00
pedro
d53d8eb4d0
.gitignore: ignore snapshots (*.json)
2024-09-20 16:31:42 -03:00
pedro
cb7ee61945
workbench-script: improve INFO and ERROR logs
2024-09-20 16:31:12 -03:00
pedro
eed87b3b1a
deploy-workbench.sh: add FORCE var
...
to recreate persistence partition
2024-09-20 11:58:58 -03:00
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