diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2017-03-31 16:26:29 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2017-03-31 16:26:29 -0300 |
| commit | a10cf0de8d21d2394f882859b322ff2f0d198ace (patch) | |
| tree | 8173c05561176ca4d89caaba0bbb19edffcd11c7 /share | |
| parent | 6a6761edcd2dba730e685b2bf0ffe40be690f421 (diff) | |
| download | kvmx-a10cf0de8d21d2394f882859b322ff2f0d198ace.tar.gz kvmx-a10cf0de8d21d2394f882859b322ff2f0d198ace.tar.bz2 | |
Provision: development: update grub only when needed
Diffstat (limited to 'share')
| -rwxr-xr-x | share/provision/development | 6 |
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 |