diff options
Diffstat (limited to 'share')
-rwxr-xr-x | share/hydractl/provision | 2 |
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: |