beremiz

Merge latest changes from default

2022-07-11, Edouard Tisserant
d6c9da8d594e
file isExecutable
Merge latest changes from default
#!/bin/bash
set -e
echo "Building docker image"
docker build \
--build-arg UID=$(id -u) \
--build-arg GID=$(id -g) \
-t beremiz_sikuli .