diff options
Diffstat (limited to 'pcr/grub-customizer/grub.cfg')
| -rw-r--r-- | pcr/grub-customizer/grub.cfg | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/pcr/grub-customizer/grub.cfg b/pcr/grub-customizer/grub.cfg deleted file mode 100644 index 9762dcef4..000000000 --- a/pcr/grub-customizer/grub.cfg +++ /dev/null @@ -1,8 +0,0 @@ -MKCONFIG_CMD=grub-mkconfig -UPDATE_CMD=grub-mkconfig -o /boot/grub/grub.cfg -INSTALL_CMD=grub-install -MKFONT_CMD=grub-mkfont -CFG_DIR=/etc/grub.d -OUTPUT_DIR=/boot/grub -OUTPUT_FILE=/boot/grub/grub.cfg -SETTINGS_FILE=/etc/default/grub |