From dea0f5126555a705f04162aec324ee0bf877cea2 Mon Sep 17 00:00:00 2001
From: Adar Nimrod <nimrod@shore.co.il>
Date: Wed, 30 Nov 2016 09:11:07 +0200
Subject: [PATCH] - Added docker-dev alias for development work in the
project's Docker image.
---
.bashrc | 16 ++++++++++++++++
1 file changed, 16 insertions(+)
diff --git a/.bashrc b/.bashrc
index 43fd302..789d0f8 100644
--- a/.bashrc
+++ b/.bashrc
@@ -84,4 +84,20 @@ gen-csr () {
openssl req -new -newkey rsa:4096 -nodes -out $1.csr -keyout $1.key
}
+docker-dev () {
+ local root="$(git rev-parse --show-toplevel)"
+ local repo="$(basename $root)"
+ local uid="$(id -u)"
+ docker build -t "$repo:dev" "$root"
+ docker run --interactive \
+ --publish-all \
+ --name "$repo" \
+ --rm \
+ --tty \
+ --volume "$HOME:$HOME" \
+ --volume "$root:$root" \
+ --user $uid \
+ --workdir "$PWD" "$repo:dev" /bin/sh -l
+}
+
. $HOME/Documents/Shore/bundle_certs/bundle_certs
--
GitLab