Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/configs/releng/profiledef.sh
diff options
context:
space:
mode:
authornl6720 <nl6720@gmail.com>2023-02-09 11:16:52 +0200
committernl6720 <nl6720@gmail.com>2023-02-24 10:22:41 +0200
commitc8474f8dbe2df8fa9af11e4b3d0bde24bb8b54f9 (patch)
tree1a5e1b6586f597eb3c6d3269967cabd029c21c2b /configs/releng/profiledef.sh
parentd96a3569957906eb95a76e302cf75da250cd8337 (diff)
Move the .uuid file to /boot/grub/YYYY-mm-dd-HH-MM-SS-00.uuid
To prevent the file from being accidentally missed when someone copies the ISO's contents, let's not place it in a directory that starts with a dot. Since all GRUB related files are in /boot/grub/, put it there too. Instead of using a more unique UUID for the file name, use `YYYY-mm-dd-HH-MM-SS-00.uuid` which matches the ISO's modification date in UTC,i.e. its "UUID". If multiple ISOs would be generated in the exact same second, the ISO 9660 modification date (i.e. its "UUID") would be the same, so there would be not way to distinguish between the volumes anyway. This also makes the file look less suspicious to the casual glance.
Diffstat (limited to 'configs/releng/profiledef.sh')
0 files changed, 0 insertions, 0 deletions