Merge pull request #30 from bibendi/edge

Edge
bibendi · Dec 5, 2017 · b2694e4 · b2694e4
2 parents a8581cc + ef51179
commit b2694e4
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/script/build_linux b/script/build_linux
@@ -6,5 +6,5 @@ docker run \
   --rm \
   -v $PWD:/app \
   -w /app \
-  crystallang/crystal \
+  crystallang/crystal:0.22.0 \
   crystal build --release src/app.cr -o dip-Linux-x86_64
diff --git a/src/dip/commands/ssh.cr b/src/dip/commands/ssh.cr
@@ -34,7 +34,6 @@ module Dip::Cli::Commands
 
         private def docker_args
           result = %w()
-          result << "--rm"
           volume = options.volume.sub("$HOME", ENV["HOME"])
           result << "--volume ssh_data:/ssh -v #{volume}:#{volume}"
           result << "--interactive --tty" if options.interactive?

diff --git a/src/dip/version.cr b/src/dip/version.cr
@@ -1,3 +1,3 @@
 module Dip
-  VERSION = "1.0.0"
+  VERSION = "1.0.1"
 end