diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2017-03-16 19:07:12 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2017-03-16 19:07:12 -0300 |
commit | 4c372faf59201ce080cd9fba16397f2eefc19321 (patch) | |
tree | fa8fafa20c1d7d1a1aab986e30438c38360357f3 | |
parent | d20c87e198e00a62299047943dcc3d08deb6917c (diff) | |
download | kvmx-4c372faf59201ce080cd9fba16397f2eefc19321.tar.gz kvmx-4c372faf59201ce080cd9fba16397f2eefc19321.tar.bz2 |
Provision: grub config at development script
-rwxr-xr-x | share/provision/development | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/share/provision/development b/share/provision/development index 011c548..2db5f5b 100755 --- a/share/provision/development +++ b/share/provision/development @@ -58,3 +58,7 @@ if ! grep -q "/swapfile" /etc/fstab; then echo "RESUME=/swapfile" | sudo tee /etc/initramfs-tools/conf.d/resume > /dev/null sudo update-initramfs -v -u fi + +# GRUB configuration +sed -i -e 's|GRUB_TIMEOUT=5|GRUB_TIMEOUT=1|' /etc/default/grub +sudo update-grub |