From ec5d95953b614de3124bd733dfc739da1383130e Mon Sep 17 00:00:00 2001
From: mo khan <mo.khan@gmail.com>
Date: Fri, 28 Feb 2020 13:49:01 -0700
Subject: Remove Docker related items

---
 bin/docker-shell | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 bin/docker-shell

(limited to 'bin/docker-shell')

diff --git a/bin/docker-shell b/bin/docker-shell
deleted file mode 100755
index be0db98..0000000
--- a/bin/docker-shell
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-
-set -e
-
-cd "$(dirname "$0")/.."
-
-IMAGE_NAME=${IMAGE_NAME:-$(basename "$PWD"):latest}
-
-docker run --rm -it --entrypoint='' $1 "$IMAGE_NAME" /bin/bash -l
-- 
cgit v1.2.3