mirror of https://github.com/01-edu/public.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
24 lines
381 B
24 lines
381 B
6 years ago
|
#!/bin/bash
|
||
|
|
||
|
# Install Grub
|
||
|
|
||
|
SCRIPT_DIR="$(cd -P "$(dirname "$BASH_SOURCE")" && pwd)"
|
||
|
cd $SCRIPT_DIR
|
||
|
. set.sh
|
||
|
|
||
|
DISK=$1
|
||
|
|
||
|
sed -i -e 's/message=/message_null=/g' /etc/grub.d/10_linux
|
||
|
|
||
|
cat <<EOF>> /etc/default/grub
|
||
|
GRUB_TIMEOUT=0
|
||
|
GRUB_RECORDFAIL_TIMEOUT=0
|
||
|
GRUB_TERMINAL=console
|
||
|
GRUB_DISTRIBUTOR=``
|
||
|
GRUB_DISABLE_OS_PROBER=true
|
||
|
GRUB_DISABLE_SUBMENU=y
|
||
|
EOF
|
||
|
|
||
|
update-grub
|
||
|
grub-install $DISK
|