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
+ 17
8
@@ -2,9 +2,19 @@
# This script was written to streamline a remote development workflow. We work on the
# code on a computer, that is well equipped for that task. The committed and pushed
# code then gets processed on another machine, which uses this script, to update its
# code base and run the parameters handed over. It is designed to have the script
# name for execution with a Python interpreter and PySCIPOpt as the only parameter, e.g.
# $ ./pull_and_optimize.sh ilp_optimize.py
# code base and run the parameters handed over. It is designed to be called without
# parameters to execute the optimize module of the latest version released on
# Test.PyPI.org.
#
# $ ./pull_and_optimize.sh
#
# Alternatively you could invoke any other command in the Python interpreter by
# appending any command, normally appended to 'python <YOUR_COMMAND>' to the script.
# i.e.
#
#
# $ ./pull_and_optimize.sh -m pytest
#
# The execution requires the Docker image of our repository
# https://github.com/BjoernLudwigPTB/docker_pyscipopt to be built in advance.
SCRIPT_PATH="${BASH_SOURCE}"
@@ -15,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 --no-cache -t ilp_keyboard_layout_optimization:latest docker/ && \
docker run -it --rm ilp_keyboard_layout_optimization \
-m ilp_keyboard_layout_optimization.optimize
${1:--m ilp_keyboard_layout_optimization.optimize}
Loading