HGKeeper

f08b59f7c00a

Executable

CLI: when using --keep, do not disconnect before being interrupted

#!/bin/bash

set -e

echo "Building docker image"

docker build \

--build-arg UID=$(id -u) \

--build-arg GID=$(id -g) \

-t beremiz_sikuli .