diff options
| author | Matin Dehghani <matin@ipecompute4.ands.kit.edu> | 2022-08-20 15:39:55 +0200 |
|---|---|---|
| committer | Matin Dehghani <matin@ipecompute4.ands.kit.edu> | 2022-08-20 15:39:55 +0200 |
| commit | 0ae9593171f8315c7e4d22e0d3abd48c3fe6d968 (patch) | |
| tree | 47f7eb8c4cefe6bf19d0658bd4e5fc3def2d412c /run/config.sh | |
| parent | 3d1434af9c56e6fc679644649cd7da152d6c4b7d (diff) | |
| download | ccpi-0ae9593171f8315c7e4d22e0d3abd48c3fe6d968.tar.gz ccpi-0ae9593171f8315c7e4d22e0d3abd48c3fe6d968.tar.bz2 ccpi-0ae9593171f8315c7e4d22e0d3abd48c3fe6d968.tar.xz ccpi-0ae9593171f8315c7e4d22e0d3abd48c3fe6d968.zip | |
Mount /mnt/fast to allow users to share the data
Diffstat (limited to 'run/config.sh')
| -rw-r--r-- | run/config.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run/config.sh b/run/config.sh index b407fef..9685daf 100644 --- a/run/config.sh +++ b/run/config.sh @@ -8,7 +8,7 @@ web_port="${port}80" image="$1" [ -n "$image" ] || image="localhost/tomo-remote:latest" # tomo-remote:latest tomo-remote:devel tomo-remote:evelina (also ccpi, ufo, tomo) -volumes="-v $home/ccpi/data:/ccpi/data -v $home/ccpi/repos:/ccpi/repos" +volumes="-v $home/ccpi/build/setup:/root/setup -v $home/ccpi/data:/ccpi/data -v $home/ccpi/repos:/ccpi/repos -v /mnt/fast:/mnt/fast" [ -d /mnt/fast/$user ] && volumes="$volumes -v /mnt/fast/$user:/ccpi/data/fast" echo "Image: $image, Ports: $ssh_port, $web_port" |