env-docker/source.env

#!/bin/bash
# Converted the env file to a shell script so that $0 can be used.

DIR=`dirname $0`
if [[ $DIR == \.* ]]; then
	DIR=`pwd`
fi

DOCKER_HOME=$DIR
DOCKER_PATH=$DOCKER_HOME/bin
PATH=$DOCKER_PATH:$PATH
Eliminate one of the /opt/ hardcodes. 2023-07-05 18:36:23 -07:00			`#!/bin/bash`
			`# Converted the env file to a shell script so that $0 can be used.`

			DIR=`dirname $0`
			`if [[ $DIR == \.* ]]; then`
			DIR=`pwd`
			`fi`

			`DOCKER_HOME=$DIR`
Fix initial commit. 2022-08-06 08:11:04 -05:00			`DOCKER_PATH=$DOCKER_HOME/bin`
Place the docker scripts ahead of local path since the user has likely explicitly called the env file. 2023-07-05 18:00:40 -07:00			`PATH=$DOCKER_PATH:$PATH`