From 5815b4a0c0dbb75e9f4d8df8f524bfe764acfea0 Mon Sep 17 00:00:00 2001 From: Anmol Sethi Date: Wed, 3 Jun 2020 12:09:01 -0400 Subject: [PATCH] Rename dev/container -> dev/image --- .ignore | 1 + ci/README.md | 2 +- ci/dev/{container => image}/Dockerfile | 0 ci/dev/{container => image}/exec.sh | 2 +- doc/CONTRIBUTING.md | 2 +- 5 files changed, 4 insertions(+), 3 deletions(-) create mode 100644 .ignore rename ci/dev/{container => image}/Dockerfile (100%) rename ci/dev/{container => image}/exec.sh (93%) diff --git a/.ignore b/.ignore new file mode 100644 index 00000000..a65b4177 --- /dev/null +++ b/.ignore @@ -0,0 +1 @@ +lib diff --git a/ci/README.md b/ci/README.md index 38fb3d27..01e8a56a 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 98231c73..ea208755 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 9e4a1d5e..706a5648 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