diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/grub/config/grub.cfg | 3 | 
1 files changed, 3 insertions, 0 deletions
| diff --git a/config/grub/config/grub.cfg b/config/grub/config/grub.cfg index acb9da2c..66642711 100644 --- a/config/grub/config/grub.cfg +++ b/config/grub/config/grub.cfg @@ -75,6 +75,9 @@ function try_user_config {  	for dir in boot grub grub2 boot/grub boot/grub2 @/boot @/grub @/grub2 @/boot/grub @/boot/grub2; do  		really_try_user_config "${1}" "${dir}"  	done +	for dir in ubuntu debian redhat; do +		really_try_user_config "${1}" "EFI/${dir}" +	done  }  function search_grub {  	echo -n "Attempting to load grub.cfg from '${1}' devices" | 
