Advertisement
digrouz

/mnt/gentoo/etc/grub.d/41_custom

Jan 16th, 2012
399
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.13 KB | None | 0 0
  1. cat /mnt/gentoo/etc/grub.d/41_custom
  2. #!/bin/sh
  3. cat <<EOF
  4. if [ -f  \$prefix/custom.cfg ]; then
  5.   source \$prefix/custom.cfg;
  6. fi
  7. EOF
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement