Skip to content
Snippets Groups Projects

Introduce Chars

Merged Björn Ludwig requested to merge introduce_chars into main
Files
2
+ 3
4
@@ -25,10 +25,9 @@ while [ -L "${SCRIPT_PATH}" ]; do
done
SCRIPT_PATH="$(readlink -f "${SCRIPT_PATH}")"
SCRIPT_DIR="$(cd -P "$(dirname -- "${SCRIPT_PATH}")" >/dev/null 2>&1 && pwd)"
set -x
cd ${SCRIPT_DIR}
git pull
docker build -t ilp_keyboard_layout_optimization:latest docker/
cd ${SCRIPT_DIR} && \
git pull && \
docker build -t ilp_keyboard_layout_optimization:latest docker/ && \
docker run -it --rm ilp_keyboard_layout_optimization \
${1:--m ilp_keyboard_layout_optimization.optimize}
Loading