about summary refs log tree commit diff
diff options
context:
space:
mode:
authorWilliam Carroll <wpcarro@gmail.com>2020-03-05T14·10+0000
committerWilliam Carroll <wpcarro@gmail.com>2020-03-05T14·10+0000
commit28745c5f843e6a5bf7f1ea599bc45035fccc0765 (patch)
tree3ea95b16de967b4cf271e0dbf1a7337777cb30a5
parent3b689f03de755f6a241f9c042270c0d7e579a657 (diff)
Drop support for Docker
I don't use Docker shells enough to justify maintaining this.
-rw-r--r--configs/shared/.docker/.buildNodeID1
-rw-r--r--configs/shared/.docker/config.json3
2 files changed, 0 insertions, 4 deletions
diff --git a/configs/shared/.docker/.buildNodeID b/configs/shared/.docker/.buildNodeID
deleted file mode 100644
index 82756fe024c1..000000000000
--- 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 6e6b747acf94..000000000000
--- a/configs/shared/.docker/config.json
+++ /dev/null
@@ -1,3 +0,0 @@
-{
-  "detachKeys": "ctrl-i,e"
-}