diff options
| author |   Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2018-03-18 22:27:11 +0100 |
|---|---|---|
| committer | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2018-03-18 23:10:43 +0100 |
| commit | 7481c6f499ea9f7949f1c0d9343d4e96caea6095 (patch) | |
| tree | 25904a8921144e5e92bf14feee38a48670eab265 /.gitreview | |
| parent | f74f7bac151f69ae0b50f28e68805a5d8580736e (diff) | |
lib.sh: Skip modprobing nbd, loop if inbuilt
While at it, skip waiting for Salt master when deleting UEFI stale
entries if it doesn't respond to ping.
Also, use https for fetching Armband GPG key to bypass yet another
hks issue behind proxies/firewalls that block hks port.
Change-Id: I400cbe3257094b62c96b302a3c81c5ffd1ba4755
Signed-off-by: Alexandru Avadanii <Alexandru.Avadanii@enea.com>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions