diff --git a/.ignore b/.ignore
new file mode 100644
index 0000000000000000000000000000000000000000..a65b41774ad52b3cc7b60496d35eaafc5da4bb16
--- /dev/null
+++ b/.ignore
@@ -0,0 +1 @@
+lib
diff --git a/ci/README.md b/ci/README.md
index 38fb3d27fa08e98083df6dde9cd42756647c9aca..01e8a56a3a474e04386be6baf2a926374c29e286 100644
--- a/ci/README.md
+++ b/ci/README.md
@@ -40,7 +40,7 @@ Make sure you have `$GITHUB_TOKEN` set and [hub](https://github.com/github/hub)
 
 This directory contains scripts used for the development of code-server.
 
-- [./ci/dev/container](./dev/container)
+- [./ci/dev/image](./dev/image)
   - See [./doc/CONTRIBUTING.md](../doc/CONTRIBUTING.md) for docs on the development container.
 - [./ci/dev/fmt.sh](./dev/fmt.sh) (`yarn fmt`)
   - Runs formatters.
diff --git a/ci/dev/container/Dockerfile b/ci/dev/image/Dockerfile
similarity index 100%
rename from ci/dev/container/Dockerfile
rename to ci/dev/image/Dockerfile
diff --git a/ci/dev/container/exec.sh b/ci/dev/image/exec.sh
similarity index 93%
rename from ci/dev/container/exec.sh
rename to ci/dev/image/exec.sh
index 98231c73774c505b4449ad443c520bdb8bed62a5..ea208755842a71fb14d5c96f86f32d8c2d4a52f0 100755
--- a/ci/dev/container/exec.sh
+++ b/ci/dev/image/exec.sh
@@ -42,7 +42,7 @@ run() {
 
 build() {
   echo "--- Building $container_name"
-  docker build -t $container_name ./ci/dev/container > /dev/null
+  docker build -t $container_name ./ci/dev/image > /dev/null
 }
 
 main "$@"
diff --git a/doc/CONTRIBUTING.md b/doc/CONTRIBUTING.md
index 9e4a1d5e230f2e47b48c7e37246ae33c7b4353fa..706a56485a9e3e3f943cfc1cfef43f7471eaea6f 100644
--- a/doc/CONTRIBUTING.md
+++ b/doc/CONTRIBUTING.md
@@ -35,7 +35,7 @@ yarn watch
 To develop inside of an isolated docker container:
 
 ```shell
-./ci/dev/container/exec.sh
+./ci/dev/image/exec.sh
 
 root@12345:/code-server# yarn
 root@12345:/code-server# yarn vscode