Make sure sudo sets correct $HOME (required for Ubuntu 16.04)

vstax · Sep 8, 2017 · 8334b8f · 8334b8f
1 parent 7a532f9
commit 8334b8f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rel/common/launch.sh b/rel/common/launch.sh
@@ -21,7 +21,7 @@ RUNNER_USER=${RUNNER_USER:-leofs}
 
 # Make sure this script is running as the appropriate user
 if [ ! -z "$RUNNER_USER" ] && [ `whoami` != "$RUNNER_USER" ]; then
-    exec sudo -u $RUNNER_USER "$RUNNER_SCRIPT_DIR/$SCRIPT" "$@"
+    exec sudo -H -u $RUNNER_USER "$RUNNER_SCRIPT_DIR/$SCRIPT" "$@"
 fi
 
 # Make sure CWD is set to runner base dir