Eric Rescorla
2018-07-26 12:54:08 UTC
Hi folks,
I see that the docker/run script pulls in one's home directory as the
image's home directory. e.g.,
docker run -ti -p $PORT:8000 -v "$HOME:/home/$WHO"
\
-e USER="$WHO" -e DATADIR="${parent#$HOME/}/data" -e CWD="${PWD#$HOME/}" \
-e TAG="$TAG" -e FILEDIR=${FILEDIR#$HOME} -e UID="$WHOUID" -e
GID="$WHOGID" \
"$REPO:$TAG" "$@"
I noticed this because my .bashrc contains mac-only commands which don't
execute properly.
In general, I'd prefer only to pull in a very limited set of files
(essentially the datatracker source itself), because I don't want
datatracker to have access to my home directory [0] but I don't see an
argument to suppress this behavior. Would people object to a patch that
mapped in just the source into some subdirectory (potentially as an option)
Thanks,
-Ekr
[0] I recognize that docker doesn't provide complete isolation, but this is
about incompetence (mine), not malice.
I see that the docker/run script pulls in one's home directory as the
image's home directory. e.g.,
docker run -ti -p $PORT:8000 -v "$HOME:/home/$WHO"
\
-e USER="$WHO" -e DATADIR="${parent#$HOME/}/data" -e CWD="${PWD#$HOME/}" \
-e TAG="$TAG" -e FILEDIR=${FILEDIR#$HOME} -e UID="$WHOUID" -e
GID="$WHOGID" \
"$REPO:$TAG" "$@"
I noticed this because my .bashrc contains mac-only commands which don't
execute properly.
In general, I'd prefer only to pull in a very limited set of files
(essentially the datatracker source itself), because I don't want
datatracker to have access to my home directory [0] but I don't see an
argument to suppress this behavior. Would people object to a patch that
mapped in just the source into some subdirectory (potentially as an option)
Thanks,
-Ekr
[0] I recognize that docker doesn't provide complete isolation, but this is
about incompetence (mine), not malice.