Commit f24801cd authored by Tom's avatar Tom

Make sudo set user HOME folder when changing user

parent 36328bd1
......@@ -13,7 +13,7 @@ RUNNER_USER={{run_user}}
# Make sure this script is running as the appropriate user
if [ ! -z "$RUNNER_USER" ] && [ `whoami` != "$RUNNER_USER" ]; then
exec sudo -u $RUNNER_USER $0 $@
exec sudo -H -u $RUNNER_USER $0 $@
# Make sure CWD is set to runner base dir
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment