docker in README

goblint · May 18, 2018 · 281d9b2 · 281d9b2
1 parent eb12a5e
commit 281d9b2
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -22,10 +22,9 @@ For building from source, install Cygwin using [setup-cygwin-dev.bat](scripts/se
     wget "https://raw.githubusercontent.com/goblint/analyzer/master/scripts/setup-cygwin-dev.sh" && source setup-cygwin-dev.sh
 
 ### Docker container
-You can run Goblint in a [Docker](http://www.docker.com/) container using:
+You can run Goblint in a [Docker container](https://hub.docker.com/r/voglerr/goblint/) using:
 
-    docker pull voglerr/goblint
-    docker run voglerr/goblint /analyzer/goblint --help
+    docker run -it voglerr/goblint ./goblint --help
 
 ### Virtual machine
 A virtual machine containing Goblint can be set up using [Vagrant](http://www.vagrantup.com/):