aboutsummaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorSilvio Rhatto <rhatto@riseup.net>2018-08-17 20:53:21 -0300
committerSilvio Rhatto <rhatto@riseup.net>2018-08-17 20:53:21 -0300
commit362e9d7eaf5c271889aebcbca5b1e11d69e3f519 (patch)
tree4bd1575a88844bcce7acd43114251c46af21dfba /share
parentad8dbf1400ef145b86d32feec83e48a6546c8260 (diff)
downloadhydra-362e9d7eaf5c271889aebcbca5b1e11d69e3f519.tar.gz
hydra-362e9d7eaf5c271889aebcbca5b1e11d69e3f519.tar.bz2
Provision: minor fix
Diffstat (limited to 'share')
-rwxr-xr-xshare/hydractl/provision2
1 files changed, 1 insertions, 1 deletions
diff --git a/share/hydractl/provision b/share/hydractl/provision
index f055dc7..3b39abe 100755
--- a/share/hydractl/provision
+++ b/share/hydractl/provision
@@ -207,7 +207,7 @@ else
# Use UUID
# Give time to devices table be updated
- #sleep 2
+ sleep 2
reboot_device="`blkid | grep ^$boot_device: | cut -d ' ' -f 2 | sed -e 's/"//g'`"
# Use device name: might lead to wrong results: