Commit 429bc4ce7e45900e27e4590184bd6866d1b37033
1 parent
80ac628c
Exists in
master
and in
90 other branches
use JSON for config file + http_proxy
Showing
1 changed file
with
18 additions
and
9 deletions
Show diff stats
dev-install.sh
... | ... | @@ -7,17 +7,26 @@ host=$(vagrant ssh-config | awk '{ if ($1 == "HostName") { print($2) }}') |
7 | 7 | port=$(vagrant ssh-config | awk '{ if ($1 == "Port") { print($2) }}') |
8 | 8 | key=$(vagrant ssh-config | awk '{ if ($1 == "IdentityFile") { print($2) }}') |
9 | 9 | |
10 | -cat > colab/environments.yml <<EOF | |
11 | -dev: | |
12 | - hosts: | |
13 | - - $host | |
14 | - key_filename: $key | |
15 | - port: $port | |
16 | - is_vagrant: True | |
17 | - superuser: 'vagrant' | |
10 | +if [ -n "$http_proxy" ]; then | |
11 | + proxy="\"command_prefixes\": [\"http_proxy='$http_proxy'\"]," | |
12 | +else | |
13 | + proxy= | |
14 | +fi | |
15 | + | |
16 | +cat > colab/environments.json <<EOF | |
17 | +{ | |
18 | + "dev": { | |
19 | + $proxy | |
20 | + "hosts": ["$host"], | |
21 | + "key_filename": "$key", | |
22 | + "port": "$port", | |
23 | + "is_vagrant": true, | |
24 | + "superuser": "vagrant" | |
25 | + } | |
26 | +} | |
18 | 27 | EOF |
19 | 28 | |
20 | -sudo apt-get install -qy python-yaml fabric | |
29 | +dpkg-query --show fabric >/dev/null || sudo apt-get install -qy fabric | |
21 | 30 | |
22 | 31 | ( |
23 | 32 | cd colab | ... | ... |