|
Config
|
Only install fonts if necessary
|
2023-04-01 15:39:29 +02:00 |
|
Devices
|
Mute output of pushd and popd commands
|
2023-03-16 20:14:49 +01:00 |
|
OS
|
Fix broken commands
|
2023-04-01 15:21:28 +02:00 |
|
Scripts
|
Revert broken chooseDisk function
|
2023-04-01 13:40:52 +02:00 |
|
Software
|
Enable GRUB's OS prober
|
2023-04-01 15:17:26 +02:00 |
