diff options
Diffstat (limited to 'share')
| -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 |