Archived
1
0

Rename dev/container -> dev/image

This commit is contained in:
Anmol Sethi 2020-06-03 12:09:01 -04:00
parent bdb670e852
commit 5815b4a0c0
No known key found for this signature in database
GPG Key ID: 8CEF1878FF10ADEB
5 changed files with 4 additions and 3 deletions

1
.ignore Normal file
View File

@ -0,0 +1 @@
lib

View File

@ -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.

View File

@ -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 "$@"

View File

@ -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