Jarrod Johnson
|
8fe1cea2ed
|
Quote sed argument
|
2020-05-07 12:13:44 -04:00 |
|
Jarrod Johnson
|
471f3bd1cf
|
Fix ubuntu profile name
It was erroneously changed by
initprofile.sh
|
2020-05-07 12:10:27 -04:00 |
|
Jarrod Johnson
|
d6df9db229
|
Change efi/boot to lowercase
Consitently use lowercase for
efi/boot for easier grub handling.
|
2020-05-07 11:12:24 -04:00 |
|
Jarrod Johnson
|
4f2d4a7709
|
Move media content out of subdirectory
This paves the way for a consistent organization of boot
media
and network based boot.
|
2020-05-07 09:32:11 -04:00 |
|
Jarrod Johnson
|
404041e226
|
Bring over disk boot content
This allows construction of remote media and httpboot payloads.
|
2020-05-06 14:33:45 -04:00 |
|
Jarrod Johnson
|
dd2dca5837
|
Add more profile contents
More parts of OS image profiles.
|
2020-05-06 14:03:53 -04:00 |
|