From 28745c5f843e6a5bf7f1ea599bc45035fccc0765 Mon Sep 17 00:00:00 2001
From: William Carroll <wpcarro@gmail.com>
Date: Thu, 5 Mar 2020 14:10:23 +0000
Subject: [PATCH] Drop support for Docker

I don't use Docker shells enough to justify maintaining this.
---
 configs/shared/.docker/.buildNodeID | 1 -
 configs/shared/.docker/config.json  | 3 ---
 2 files changed, 4 deletions(-)
 delete mode 100644 configs/shared/.docker/.buildNodeID
 delete mode 100644 configs/shared/.docker/config.json

diff --git a/configs/shared/.docker/.buildNodeID b/configs/shared/.docker/.buildNodeID
deleted file mode 100644
index 82756fe02..000000000
--- a/configs/shared/.docker/.buildNodeID
+++ /dev/null
@@ -1 +0,0 @@
-fba49875b86b20c987649381fe9160d51df53e6836665499ded0e9fb90709e85
\ No newline at end of file
diff --git a/configs/shared/.docker/config.json b/configs/shared/.docker/config.json
deleted file mode 100644
index 6e6b747ac..000000000
--- a/configs/shared/.docker/config.json
+++ /dev/null
@@ -1,3 +0,0 @@
-{
-  "detachKeys": "ctrl-i,e"
-}