for i in $(seq -f "%03g" 1 999); do
wget http://ftp.gnu.org/gnu/bash/bash-4.3-patches/bash43-$i
if [[ $? -ne "0" ]]; then
MAX=$(expr $i - 1)
break;
fi
done
echo $MAX files downloaded
. Похоже, что вы обновляете файл /etc/default/grub
, не запуская впоследствии updateate-grub
(в моем Ubuntu 12.04, который объясняется в верхней части этого файла).
Только после выполнения update-grub
эти параметры копируются в соответствующие командные строки в меню Grub (/boot/grub/grub.cfg
)
Кроме того, в случае многократной установки linux вы должны позаботиться о том, чтобы изменения ничего не влияли, если только вы не отредактируете настройки по умолчанию и не запустите update-grub
при загрузке компьютера с него. Т.е. с того, с которого была запущена последняя grub-install
с загрузочного диска в качестве целевого.
Вам необходимо установить режим консоли VGA в / etc / default / grub, добавить или изменить значение параметра vga = xxx в соответствии с вашими потребностями.
Пример разрешения 1024x768 пикселей и 24-битной глубины цвета:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash vga=792"
Чтобы применить это изменение, вы должны использовать sudo или su для root. После выполнения:
sudo update-grub
Вот список:
Цвета: 256 (8 бит)
Цвета: 32K (15 бит)
Цвета: 65K (16 бит )
Цвета: 16M (24 бит)