home · contact · privacy
Add script to update installation's EFI boot directory contents.
authorPlom Heller <plom@plomlompom.com>
Tue, 8 Sep 2026 22:33:59 +0000 (00:33 +0200)
committerPlom Heller <plom@plomlompom.com>
Tue, 8 Sep 2026 22:33:59 +0000 (00:33 +0200)
commitc66f84f01e1401a9a8a64f2ae0b460e341015934
treea2c6656f75f1cba2e04a5c9a4204778ee09ff758
parent7990f6980173338e1507eb8366fe3b874def1057
Add script to update installation's EFI boot directory contents.
setup_scripts/_lib.sh
setup_scripts/install_debian.sh
setup_scripts/install_server.sh
setup_scripts/update_efi.sh [new file with mode: 0755]