diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2018-08-17 20:53:21 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2018-08-17 20:53:21 -0300 |
| commit | 362e9d7eaf5c271889aebcbca5b1e11d69e3f519 (patch) | |
| tree | 4bd1575a88844bcce7acd43114251c46af21dfba | |
| parent | ad8dbf1400ef145b86d32feec83e48a6546c8260 (diff) | |
| download | hydra-362e9d7eaf5c271889aebcbca5b1e11d69e3f519.tar.gz hydra-362e9d7eaf5c271889aebcbca5b1e11d69e3f519.tar.bz2 | |
Provision: minor fix
| -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: |