diff options
| author | Brett Morgan <brettmorgan@google.com> | 2019-10-04 10:39:34 +1000 |
|---|---|---|
| committer | Ian Lewis <ianlewis@google.com> | 2019-10-04 14:09:32 +0900 |
| commit | 5d31cec27acb86a649e70178853aa4b5fbda8781 (patch) | |
| tree | 7105319b29d0b2c69a0c65fa0d15cdd40f030dd0 /content/docs | |
| parent | 0261626482865a7445e0b536feefd5ee3355a0da (diff) | |
Make the install script re-runnable
An alternative would be to create a temp directory and delete it...
Diffstat (limited to 'content/docs')
| -rw-r--r-- | content/docs/includes/install_gvisor.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/content/docs/includes/install_gvisor.md b/content/docs/includes/install_gvisor.md index 5b28c3001..5a10d4054 100644 --- a/content/docs/includes/install_gvisor.md +++ b/content/docs/includes/install_gvisor.md @@ -19,7 +19,9 @@ a good place to put the `runsc` binary. ```bash ( set -e + if [ -e runsc ]; then rm runsc; fi wget https://storage.googleapis.com/gvisor/releases/nightly/latest/runsc + if [ -e runsc.sha512 ]; then rm runsc.sha512; fi wget https://storage.googleapis.com/gvisor/releases/nightly/latest/runsc.sha512 sha512sum -c runsc.sha512 sudo mv runsc /usr/local/bin |