diff options
Diffstat (limited to 'mkvtool/docker/run.sh')
| -rw-r--r-- | mkvtool/docker/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mkvtool/docker/run.sh b/mkvtool/docker/run.sh index 65290ff..c007a7e 100644 --- a/mkvtool/docker/run.sh +++ b/mkvtool/docker/run.sh @@ -1,5 +1,5 @@ NAME="mkvtool" -docker images | grep ${NAME} || docker build -t ${NAME} $(dirname "$0") +[ $(docker images | grep ${NAME}) ] || docker build -t ${NAME} $(dirname "$0") FONT_DIR="/usr/share/fonts/truetype" # Change this to your font directory CACHE_DIR="${HOME}/.mkvtool/caches" # Change this to your cache directory OTHER_DIR="" # Change this to your other directory for example: -v aaa:bbb |