From 429bc4ce7e45900e27e4590184bd6866d1b37033 Mon Sep 17 00:00:00 2001 From: Antonio Terceiro Date: Tue, 16 Sep 2014 17:21:07 -0300 Subject: [PATCH] use JSON for config file + http_proxy --- dev-install.sh | 27 ++++++++++++++++++--------- 1 file changed, 18 insertions(+), 9 deletions(-) diff --git a/dev-install.sh b/dev-install.sh index 93395e0..9dc0de2 100755 --- a/dev-install.sh +++ b/dev-install.sh @@ -7,17 +7,26 @@ host=$(vagrant ssh-config | awk '{ if ($1 == "HostName") { print($2) }}') port=$(vagrant ssh-config | awk '{ if ($1 == "Port") { print($2) }}') key=$(vagrant ssh-config | awk '{ if ($1 == "IdentityFile") { print($2) }}') -cat > colab/environments.yml < colab/environments.json </dev/null || sudo apt-get install -qy fabric ( cd colab -- libgit2 0.21.2