Skip to content
Snippets Groups Projects

Introduce Chars

Merged Björn Ludwig requested to merge introduce_chars into main
1 file
+ 1
1
Compare changes
  • Side-by-side
  • Inline
+ 1
1
@@ -27,7 +27,7 @@ SCRIPT_PATH="$(readlink -f "${SCRIPT_PATH}")"
SCRIPT_DIR="$(cd -P "$(dirname -- "${SCRIPT_PATH}")" >/dev/null 2>&1 && pwd)"
cd ${SCRIPT_DIR} && \
git pull && \
docker build -t ilp_keyboard_layout_optimization:latest docker/ && \
docker build --no-cache -t ilp_keyboard_layout_optimization:latest docker/ && \
docker run -it --rm ilp_keyboard_layout_optimization \
${1:--m ilp_keyboard_layout_optimization.optimize}
Loading