Advertisement
digrouz

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

Jan 16th, 2012
427
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.25 KB | None | 0 0
  1. cat /mnt/gentoo/etc/grub.d/40_custom
  2. #!/bin/sh
  3. exec tail -n +3 $0
  4. # This file provides an easy way to add custom menu entries.  Simply type the
  5. # menu entries you want to add after this comment.  Be careful not to change
  6. # the 'exec tail' line above.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement