diff options
| author | Matin Dehghani <matin@ipecompute4.ands.kit.edu> | 2022-06-26 01:07:34 +0200 |
|---|---|---|
| committer | Matin Dehghani <matin@ipecompute4.ands.kit.edu> | 2022-06-26 01:07:34 +0200 |
| commit | f33bcbf3c0839c6bebb63141ff3d520b41084183 (patch) | |
| tree | 6b373e8e123607755940b6ae3cc8076f5977a145 /run/config.sh | |
| parent | d4f8c2c238342bf3adfa236c49ff43eecd018201 (diff) | |
| download | ccpi-f33bcbf3c0839c6bebb63141ff3d520b41084183.tar.gz ccpi-f33bcbf3c0839c6bebb63141ff3d520b41084183.tar.bz2 ccpi-f33bcbf3c0839c6bebb63141ff3d520b41084183.tar.xz ccpi-f33bcbf3c0839c6bebb63141ff3d520b41084183.zip | |
More fine-grained image management (e.g. allow to get prebuilt images from other user and adapt ids inside with change-user.sh script)
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 f3bdecb..b407fef 100644 --- a/run/config.sh +++ b/run/config.sh @@ -6,7 +6,7 @@ web_port="${port}80" image="$1" -[ -n "$image" ] || image="tomo-remote" # tomo-remote:latest tomo-remote:devel (also ccpi, ufo, tomo) +[ -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" [ -d /mnt/fast/$user ] && volumes="$volumes -v /mnt/fast/$user:/ccpi/data/fast" |