| Mads Ager | 418d1ca | 2017-05-22 09:35:49 +0200 | [diff] [blame] | 1 | #!/bin/bash |
| 2 | # |
| 3 | # Copyright (c) 2017, the R8 project authors. Please see the AUTHORS file |
| 4 | # for details. All rights reserved. Use of this source code is governed by a |
| 5 | # BSD-style license that can be found in the LICENSE file. |
| 6 | |
| 7 | function follow_links() { |
| 8 | file="$1" |
| 9 | while [ -h "$file" ]; do |
| 10 | # On Mac OS, readlink -f doesn't work. |
| 11 | file="$(readlink "$file")" |
| 12 | done |
| 13 | echo "$file" |
| 14 | } |
| 15 | |
| 16 | PROG_NAME="$(follow_links $0)" |
| 17 | PROG_DIR="$(cd "${PROG_NAME%/*}" ; pwd -P)" |
| 18 | R8_ROOT=$PROG_DIR/../.. |
| 19 | |
| 20 | CONTAINER_NAME=r8 |
| 21 | HOST_SHARE=$(cd "$R8_ROOT" ; pwd -P) |
| 22 | CONTAINER_USER=r8 |
| 23 | CONTAINER_HOME=/home/$CONTAINER_USER |
| 24 | CONTAINER_SHARE=$CONTAINER_HOME/share |
| 25 | |
| 26 | ARGS=$@ |
| 27 | |
| 28 | docker run \ |
| 29 | --volume $HOST_SHARE:$CONTAINER_SHARE \ |
| 30 | --rm \ |
| 31 | --workdir "$CONTAINER_SHARE" \ |
| 32 | r8 \ |
| 33 | bash -c "$ARGS" |
| 34 | |
