From a10cf0de8d21d2394f882859b322ff2f0d198ace Mon Sep 17 00:00:00 2001 From: Silvio Rhatto Date: Fri, 31 Mar 2017 16:26:29 -0300 Subject: Provision: development: update grub only when needed --- share/provision/development | 6 ++++-- 1 file 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 -- cgit v1.2.3