index : archiso32 | |
Archlinux32 iso tools | gitolite user |
summaryrefslogtreecommitdiff |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-02-02 | configs/*/grub/grub.cfg: search for a .uuid file in /.disk/ and use the ↵ | nl6720 | |
volume it's on Search for `/.disk/%UUID_SEARCH_FILENAME%.uuid` and pass the UUID of the volume it's on as `archisodevice`. mkarchiso will replace `%UUID_SEARCH_FILENAME%` with a hardcoded value generated using `SOURCE_DATE_EPOCH` durring ISO build. This allows to prepare an UEFI bootable installation medium by simply copying the directory structure without having to touch `grub.cfg`. Relying on the volume UUID instead of its LABEL also avoids collisions of multiple ISOs created in the same month. Fixes #202 | |||
2022-12-03 | Add Memtest86+ to x86_64 UEFI GRUB boot menu | Jonathan Liu | |
Implements #203. | |||
2022-06-26 | configs/*/grub/grub.cfg: enable serial input and output | nl6720 | |
Try to initialize a serial device and use it for input and output. Add more comments to grub.cfg to explain what is done. Related to #75 | |||
2022-06-23 | configs/*/grub/grub.cfg: auto-boot after 15 seconds | nl6720 | |
* Set the default boot entry and its timeout. * Add classes to menu entries to allow theming them. Fixes #179 | |||
2022-06-18 | change grub init tune | Alexander Epaneshnikov | |
yes it was descriptive but too large. this fixes #180 | |||
2022-06-09 | Add useful grub menu entries to grub.cfg | plainlinen | |
2022-05-25 | Add GRUB configuration files to baseline and releng profiles. | Pellegrino Prevete | |