@@ -8,21 +8,14 @@ git submodule update --init
8
8
9
9
container_name=code-server-dev
10
10
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 \
26
19
-it \
27
20
--privileged \
28
21
--name $container_name \
@@ -32,19 +25,26 @@ container_id=$(docker run \
32
25
$( [[ -t 0 ]] && echo -it || true) \
33
26
-d \
34
27
$container_name )
28
+ }
35
29
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
+ }
37
34
38
- echo " --- Executing: $@ "
35
+ set +e
36
+ container_id=$( docker container inspect --format=" {{.Id}}" $container_name 2> /dev/null)
39
37
40
- CMD=" $@ "
38
+ if [ $? -eq " 0" ]; then
39
+ set -e
40
+ echo " -- Starting container"
41
+ docker start $container_id > /dev/null
41
42
42
- docker exec \
43
- $( [[ -t 0 ]] && echo -it || true) \
44
- $container_id \
45
- bash -c " $CMD "
43
+ enter
44
+ exit 0
45
+ fi
46
46
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