bootable/newinstaller
| Revision | 90fbf326c3b1eaf276525d2a0b9bd67babfb7f7c (tree) |
|---|---|
| Time | 2019-01-12 02:00:19 |
| Author | Chih-Wei Huang <cwhuang@linu...> |
| Commiter | Chih-Wei Huang |
android.cfg: remove duplicate includes
Seems config_directory is the same as cmdpath, though I don't
understand why.
install/grub2/efi/boot/android.cfg (diff)| @@ -100,7 +100,7 @@ add_os_if_exists /EFI/debian/${grub}.efi Debian debian | ||
| 100 | 100 | add_os_if_exists /EFI/linuxmint/${grub}.efi "Linux Mint" linuxmint |
| 101 | 101 | add_os_if_exists /EFI/Microsoft/Boot/bootmgfw.efi Windows windows |
| 102 | 102 | |
| 103 | -for d in $config_directory $cmdpath $prefix; do | |
| 103 | +for d in $cmdpath $prefix; do | |
| 104 | 104 | if [ -f $d/custom.cfg ]; then |
| 105 | 105 | source $d/custom.cfg |
| 106 | 106 | fi |
Fork