Show a warning if not using the currently preferred location.
This commit is contained in:
parent
5f2268b1e7
commit
c40219691a
@ -1,11 +1,18 @@
|
||||
#!/bin/bash
|
||||
# Converted the env file to a shell script so that $0 can be used.
|
||||
# 2023-07-05 Converted the env file to a shell script so that $0 can be used.
|
||||
|
||||
DIR=`dirname $0`
|
||||
if [[ $DIR == \.* ]]; then
|
||||
DIR=`pwd`
|
||||
fi
|
||||
|
||||
# Some projects are hard-coded to use /opt/Docker/Volumes so display a notice
|
||||
# until they are updated to be directory agnostic. Will help with testing!
|
||||
PREFERRED_HOME="/opt/Docker"
|
||||
if [[ $DIR != $PREFERRED_HOME ]]; then
|
||||
echo "WARNING: Preferred home is $PREFERRED_HOME but using $DIR." >&2
|
||||
fi
|
||||
|
||||
DOCKER_HOME=$DIR
|
||||
DOCKER_PATH=$DOCKER_HOME/bin
|
||||
PATH=$DOCKER_PATH:$PATH
|
||||
|
Loading…
x
Reference in New Issue
Block a user