diff options
| author | nl6720 <nl6720@gmail.com> | 2023-01-28 14:04:15 +0200 |
|---|---|---|
| committer | nl6720 <nl6720@gmail.com> | 2023-02-22 18:28:28 +0200 |
| commit | f7502001b0e538bd443cb7ab82539f5aaa7afddb (patch) | |
| tree | bda1ba1917479ba56aec0d81173ef5e9d3b46735 /configs/baseline/profiledef.sh | |
| parent | b94d7c4ce5afdec032835378a7f6c564aecb05ed (diff) | |
| download | archiso-f7502001b0e538bd443cb7ab82539f5aaa7afddb.tar.gz archiso-f7502001b0e538bd443cb7ab82539f5aaa7afddb.tar.bz2 | |
configs/*/grub/grub.cfg: reuse ARCHISO_HINT and ARCHISO_UUID passed from the embedded grub.cfg
The `grub.cfg` embedded in the GRUB binaries already sets `ARCHISO_HINT`
and `ARCHISO_UUID` in most cases. To avoid performing the same searches
multiple times, use the existing variables.
Diffstat (limited to 'configs/baseline/profiledef.sh')
0 files changed, 0 insertions, 0 deletions