diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-04 10:33:11 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-04 10:33:11 -0500 |
commit | 1bc922598675f9ae84e2442a2e2b1ae91340240d (patch) | |
tree | c3a98b8f57bed69d5478f677ff47904142edfa95 /pcr/grub-customizer/grub.cfg | |
parent | a5f147d0ef40f6eaeaa887715613f715872b5e54 (diff) | |
download | abslibre-1bc922598675f9ae84e2442a2e2b1ae91340240d.tar.gz abslibre-1bc922598675f9ae84e2442a2e2b1ae91340240d.tar.bz2 abslibre-1bc922598675f9ae84e2442a2e2b1ae91340240d.zip |
Removing grub-customizer: This package is in [community] repo
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 |