beremiz: tests/tools/Docker/do_test_in_docker.sh@24656e0e8732 (annotated)

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

author	Edouard Tisserant <edouard@beremiz.fr>
	Wed, 17 Jul 2024 17:02:32 +0200
changeset 3990	24656e0e8732
parent 3693	4058140a8757
permissions	-rwxr-xr-x