Support legacy BIOS boot via --bios flag (SeaBIOS, skips OVMF).
Move all dev VM artifacts from .dev-* into .dev/ subdirectory.
Auto-install edk2-ovmf when UEFI firmware is missing.
Replace the plain `archinstall` alias with a function that wipes the log
directory contents before each run, and add a third 9p share so the guest
log directory is backed by .dev-logs/ on the host. The host can now tail
install.log live without re-entering the VM, and successive iterations
start with an empty log without rebooting.
The wipe uses find -mindepth 1 -delete because /var/log/archinstall is
a 9p mountpoint - removing the directory itself would unmount the share.
Cleanup: dev_vm.sh clean now also removes .dev-logs/.
Add git to the package list and pre-trust the 9p-mounted source
in /etc/gitconfig so `git status` / `log` / `diff` work on it
out of the box. The 9p share comes in with host UIDs that do not
match the guest, which would otherwise trip git's safe.directory
dubious-ownership check.
Address svartkanin's review on #4470. Two related changes:
- Move dev_vm.sh to scripts/dev_vm.sh and split SCRIPT_DIR (where
the script lives) from PROJECT_DIR (project root, parent of
scripts/). All .dev-* artifact paths now anchor on PROJECT_DIR
so they still land in the repo root where .gitignore matches
them. Both invocations work: ./scripts/dev_vm.sh from project
root and ./dev_vm.sh from inside scripts/.
- Extract the inline pyproject.toml parser from a bash heredoc
into scripts/derive_packages.py. Same logic, less mixed-language
noise.
The whole-script bash -> Python question is left open until
@Torxed weighs in on principled inclusion of dev tooling in
archinstall.
Softer