The Code-Bin
Links
Home
Add your code!
All Listings
About
Latest Entry
Featured Scripts
Author's Website
Latest Entries
FFMPEG Thumbnail Scr...
PHP, 0.8KB
Jul. 29, 10:24pm
John
Z80 Assembler, 190 bytes
Feb. 17, 3:36am
John
Z80 Assembler, 176 bytes
Sep. 13, 2:19am
John
Z80 Assembler, 77 bytes
Sep. 13, 2:18am
John
Z80 Assembler, 209 bytes
Sep. 13, 2:17am
grub2
Posted by: gr4viton | September 14, 2010 @ 6:31pm
PHP Code
[
Download
]
#!/bin/bash -e source /usr/lib/grub/grub-mkconfig_lib # this allows desktop-base to override our settings f=/usr/share/desktop-base/grub_background.sh if test -e ${f} ; then source ${f} else WALLPAPER="/usr/share/images/grub/babe.png" COLOR_NORMAL="black/black" COLOR_HIGHLIGHT="magenta/black" fi set_mono_theme() { cat << EOF set menu_color_normal=white/black set menu_color_highlight=black/light-gray EOF } # check for usable backgrounds use_bg=false if [ "$GRUB_TERMINAL_OUTPUT" = "gfxterm" ] ; then for i in /boot/grub/`basename ${WALLPAPER}` ${WALLPAPER} ; do if is_path_readable_by_grub $i ; then bg=$i case ${bg} in *.png) reader=png ;; *.tga) reader=tga ;; *.jpg|*.jpeg) reader=jpeg ;; esac if test -e /boot/grub/${reader}.mod ; then echo "Found background image: `basename ${bg}`" >&2 use_bg=true break fi fi done fi # set the background if possible if ${use_bg} ; then prepare_grub_to_access_device `${grub_probe} --target=device ${bg}` cat << EOF insmod ${reader} if background_image `make_system_path_relative_to_its_root ${bg}` ; then set color_normal=${COLOR_NORMAL} set color_highlight=${COLOR_HIGHLIGHT} else EOF fi # otherwise, set a monochromatic theme for Ubuntu if ${use_bg} ; then set_mono_theme | sed -e "s/^/ /g" echo "fi" else set_mono_theme fi
Syntax Highlighting
[
Open in new window
]
Author Comments
none
Rating
4.41 / 8
61 Votes
http://codebin.yi.org/839
page generated in 0.00 seconds