| 119 | |
| 120 | * /etc/grub.d/10_linux |
| 121 | {{{ |
| 122 | for word in $GRUB_CMDLINE_LINUX_DEFAULT; do |
| 123 | if [ "$word" = splash ]; then |
| 124 | GRUB_CMDLINE_LINUX_DEFAULT="$GRUB_CMDLINE_LINUX_DEFAULT vt.handoff=7" |
| 125 | fi |
| 126 | done |
| 127 | }}} |
| 128 | * /etc/default/grub |
| 129 | {{{#!diff |
| 130 | --- /etc/default/grub.bak 2011-06-01 10:28:41.785538530 +0900 |
| 131 | +++ /etc/default/grub 2011-06-01 11:47:23.218729090 +0900 |
| 132 | @@ -8,7 +8,7 @@ |
| 133 | GRUB_HIDDEN_TIMEOUT_QUIET=true |
| 134 | GRUB_TIMEOUT=10 |
| 135 | GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` |
| 136 | -GRUB_CMDLINE_LINUX_DEFAULT="splash quiet" |
| 137 | +GRUB_CMDLINE_LINUX_DEFAULT="noplymouth" |
| 138 | GRUB_CMDLINE_LINUX="" |
| 139 | |
| 140 | # Uncomment to enable BadRAM filtering, modify to suit your needs |
| 141 | }}} |