@@ -8,21 +8,14 @@ git submodule update --init
88
99container_name=code-server-dev
1010
11- # Docker build is very verbose even when everything is cached.
12- echo " --- Building $container_name "
13- cd ../../ && docker build -t $container_name -f ./ci/dev-image/Dockerfile . > /dev/null
14-
15- set +e
16- container_id=$( docker container inspect --format=" {{.Id}}" $container_name 2> /dev/null)
17-
18- if [ $? -eq " 0" ]; then
19- echo " --- Killing $container_name "
20- docker rm -f $container_name 2> /dev/null
21- fi
22- set -e
23-
24- echo " --- Spawning $container_name "
25- container_id=$( docker run \
11+ enter () {
12+ echo " --- Entering $container_name "
13+ docker exec -it $container_id /bin/bash
14+ }
15+
16+ run () {
17+ echo " --- Spawning $container_name "
18+ container_id=$( docker run \
2619 -it \
2720 --privileged \
2821 --name $container_name \
@@ -32,19 +25,26 @@ container_id=$(docker run \
3225 $( [[ -t 0 ]] && echo -it || true) \
3326 -d \
3427 $container_name )
28+ }
3529
36- set +e
30+ build () {
31+ echo " --- Building $container_name "
32+ cd ../../ && docker build -t $container_name -f ./ci/dev-image/Dockerfile . > /dev/null
33+ }
3734
38- echo " --- Executing: $@ "
35+ set +e
36+ container_id=$( docker container inspect --format=" {{.Id}}" $container_name 2> /dev/null)
3937
40- CMD=" $@ "
38+ if [ $? -eq " 0" ]; then
39+ set -e
40+ echo " -- Starting container"
41+ docker start $container_id > /dev/null
4142
42- docker exec \
43- $( [[ -t 0 ]] && echo -it || true) \
44- $container_id \
45- bash -c " $CMD "
43+ enter
44+ exit 0
45+ fi
4646
47- docker exec \
48- $( [[ -t 0 ]] && echo -it || true ) \
49- $container_id \
50- bash
47+ set -e
48+ build
49+ run
50+ enter
0 commit comments