From ccaa6e96cdd9bbcda44947726eb2c98c4ed8226c Mon Sep 17 00:00:00 2001
From: YAEGASHI Takeshi <yaegashi@debian.org>
Date: Tue, 22 Jan 2019 02:53:00 +0900
Subject: [PATCH] Ignore Dockerfile.dev

Dockerfile.dev is ignored by both git and docker for faster development
cycle of docker build.
---
 .dockerignore | 1 +
 .gitignore    | 7 +++++++
 2 files changed, 8 insertions(+)
 create mode 100644 .dockerignore

diff --git a/.dockerignore b/.dockerignore
new file mode 100644
index 0000000..f3c61a6
--- /dev/null
+++ b/.dockerignore
@@ -0,0 +1 @@
+Dockerfile.dev
diff --git a/.gitignore b/.gitignore
index 1f67dee..a5a3c2e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,3 +29,10 @@ _testmain.go
 
 # Editor swap/temp files
 .*.swp
+
+# Dockerfile.dev is ignored by both git and docker
+# for faster development cycle of docker build
+# cp Dockerfile Dockerfile.dev
+# vi Dockerfile.dev
+# docker build -f Dockerfile.dev .
+Dockerfile.dev