Provision: minor fix

diff --git a/share/provision/development b/share/provision/development
index 2db5f5b8dd7c0dbe599b319ecc5bc1a322952f4d..32503c560689d1549db329f69cf280b73d74cf70 100755 (executable)
--- 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