tests/tools/Docker/clean_docker_container.sh
author Edouard Tisserant <edouard.tisserant@gmail.com>
Mon, 16 Jan 2023 16:22:44 +0100
branchwxPython4
changeset 3717 da9ffd572551
parent 3693 4058140a8757
permissions -rwxr-xr-x
IDE: fix segfault when unselecting network discovery in URI editor
#!/bin/bash

# delete container
docker rm beremiz_sikuli_current