Merge pull request #153 from conz27/fix_home_dir_ownership

Fix $HOME directory ownership permissions
This commit is contained in:
Matt McCormick 2017-06-29 11:20:37 -07:00 committed by GitHub
commit da5aebb14f

View File

@ -27,7 +27,7 @@ if [[ -n $BUILDER_UID ]] && [[ -n $BUILDER_GID ]]; then
export HOME=/home/${BUILDER_USER} export HOME=/home/${BUILDER_USER}
shopt -s dotglob shopt -s dotglob
cp -r /root/* $HOME/ cp -r /root/* $HOME/
chown -R $BUILDER_UID:$BUILDER_GID $HOME/* chown -R $BUILDER_UID:$BUILDER_GID $HOME
# Additional updates specific to the image # Additional updates specific to the image
if [[ -e /dockcross/pre_exec.sh ]]; then if [[ -e /dockcross/pre_exec.sh ]]; then