| author | Edouard Tisserant <edouard.tisserant@gmail.com> |
| Sat, 07 Oct 2023 17:33:52 +0200 | |
| changeset 3862 | ef434ea0bcec |
| parent 3693 | 4058140a8757 |
| permissions | -rwxr-xr-x |
|
3425
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
1 |
#!/bin/bash |
|
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
2 |
|
|
3458
2c712b8c736f
Tests: use script rather than alias so that bash doesn't need to be interactive shell with a TTY
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
3457
diff
changeset
|
3 |
set -e |
|
2c712b8c736f
Tests: use script rather than alias so that bash doesn't need to be interactive shell with a TTY
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
3457
diff
changeset
|
4 |
|
|
3425
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
5 |
CONTAINER=beremiz_sikuli_current |
|
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
6 |
|
|
3527
fbe924df437b
tests: rename build_in_docker.sh to do_test_in_docker.sh
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
3458
diff
changeset
|
7 |
docker stop $CONTAINER |
|
3425
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
8 |
docker start $CONTAINER |
|
3458
2c712b8c736f
Tests: use script rather than alias so that bash doesn't need to be interactive shell with a TTY
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
3457
diff
changeset
|
9 |
docker exec $CONTAINER bash -c "do_tests $1" |
|
3425
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
10 |
docker stop $CONTAINER |
|
ee3b84d09ccf
Add Docker image definition as reference platform to run IDE tests.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
11 |