diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2017-03-16 19:07:47 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2017-03-16 19:07:47 -0300 |
| commit | 0b8c7fe13708879c2aaefcb7f9fb3f0f979fc890 (patch) | |
| tree | 78f5b8f1fd037100fad77c9541f0be0de999b7bf /share | |
| parent | 4c372faf59201ce080cd9fba16397f2eefc19321 (diff) | |
| download | kvmx-0b8c7fe13708879c2aaefcb7f9fb3f0f979fc890.tar.gz kvmx-0b8c7fe13708879c2aaefcb7f9fb3f0f979fc890.tar.bz2 | |
Provision: minor fix
Diffstat (limited to 'share')
| -rwxr-xr-x | share/provision/development | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/provision/development b/share/provision/development index 2db5f5b..32503c5 100755 --- a/share/provision/development +++ b/share/provision/development @@ -60,5 +60,5 @@ if ! grep -q "/swapfile" /etc/fstab; then fi # GRUB configuration -sed -i -e 's|GRUB_TIMEOUT=5|GRUB_TIMEOUT=1|' /etc/default/grub +sudo sed -i -e 's|GRUB_TIMEOUT=5|GRUB_TIMEOUT=1|' /etc/default/grub sudo update-grub |