From: Silvio Rhatto <rhatto@riseup.net>
Date: Fri, 31 Mar 2017 19:26:29 +0000 (-0300)
Subject: Provision: development: update grub only when needed
X-Git-Tag: 0.1.0~494
X-Git-Url: https://gitweb.fluxo.info/?a=commitdiff_plain;h=a10cf0de8d21d2394f882859b322ff2f0d198ace;p=kvmx.git

Provision: development: update grub only when needed
---

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