From 9bd3f772b7fcc30f04cb8ff28c7bd61bc9dde9be Mon Sep 17 00:00:00 2001 From: rht Date: Sat, 23 Sep 2017 02:28:40 +0200 Subject: [PATCH] Move Dockerfile to Dockerfile-dev. Based on zulip#450, with commits restructured by Rein Zustand. --- Dockerfile => Dockerfile-dev | 0 docs/dev-setup-non-vagrant.md | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename Dockerfile => Dockerfile-dev (100%) diff --git a/Dockerfile b/Dockerfile-dev similarity index 100% rename from Dockerfile rename to Dockerfile-dev diff --git a/docs/dev-setup-non-vagrant.md b/docs/dev-setup-non-vagrant.md index 4652ac177b..12d9919e4a 100644 --- a/docs/dev-setup-non-vagrant.md +++ b/docs/dev-setup-non-vagrant.md @@ -390,7 +390,7 @@ Then you should create the Docker image based on Ubuntu Linux, first go to the directory with the Zulip source code: ``` -docker build -t user/zulipdev . +docker build -t user/zulipdev -f Dockerfile-dev . ```