aboutsummaryrefslogtreecommitdiff
path: root/share/provision
diff options
context:
space:
mode:
authorSilvio Rhatto <rhatto@riseup.net>2017-03-31 16:26:29 -0300
committerSilvio Rhatto <rhatto@riseup.net>2017-03-31 16:26:29 -0300
commita10cf0de8d21d2394f882859b322ff2f0d198ace (patch)
tree8173c05561176ca4d89caaba0bbb19edffcd11c7 /share/provision
parent6a6761edcd2dba730e685b2bf0ffe40be690f421 (diff)
downloadkvmx-a10cf0de8d21d2394f882859b322ff2f0d198ace.tar.gz
kvmx-a10cf0de8d21d2394f882859b322ff2f0d198ace.tar.bz2
Provision: development: update grub only when needed
Diffstat (limited to 'share/provision')
-rwxr-xr-xshare/provision/development6
1 files changed, 4 insertions, 2 deletions
diff --git a/share/provision/development b/share/provision/development
index eaa77c3..cf62c29 100755
--- a/share/provision/development
+++ b/share/provision/development
@@ -63,5 +63,7 @@ if ! grep -q "/swapfile" /etc/fstab; then
fi
# GRUB configuration
-sudo sed -i -e 's|GRUB_TIMEOUT=5|GRUB_TIMEOUT=1|' /etc/default/grub
-sudo update-grub
+if ! grep -q "GRUB_TIMEOUT=1" /etc/default/grub; then
+ sudo sed -i -e 's|GRUB_TIMEOUT=5|GRUB_TIMEOUT=1|' /etc/default/grub
+ sudo update-grub
+fi