diff --git a/run b/run index f8f4bd3..a6ba5fc 100755 --- a/run +++ b/run @@ -1,6 +1,6 @@ #!/bin/bash -reset +source "$HOME/.bashrc" export JENKINS_HOME="$HOME/jenkins"