diff --git a/install/01_jenkins_user.sh b/install/01_jenkins_user.sh
index a15237c323fdd20c7599e7acc9f1afeb91c950c5..6327f32643efa11f4090555bca74fe47d352f0f2 100755
--- a/install/01_jenkins_user.sh
+++ b/install/01_jenkins_user.sh
@@ -24,3 +24,5 @@ mkdir -p $JENKINS_HOME/tools
 
 echo "export JENKINS_HOME=$JENKINS_HOME" > /etc/profile.d/jenkins.sh
 chmod 755 /etc/profile.d/jenkins.sh
+
+echo ". /etc/profile" > $JENKINS_HOME/.bashrc