We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 83db4cb commit e65a4e1Copy full SHA for e65a4e1
init.sh
@@ -4,6 +4,7 @@
4
WORKSPACE="${HOME}/workspace/"
5
SSH_DIR="${HOME}/.ssh/"
6
SERVER_SCRIPT="/opt/codebox/bin/codebox.js"
7
+PYTHON_ACTIVATE="/opt/virtualenv/bin/activate"
8
9
## Variables provided by environment
10
# RSA_PRIVATE, RSA_PUBLIC
@@ -111,6 +112,12 @@ function setup_env () {
111
112
unset GIT_PASSWD
113
}
114
115
+function setup_python () {
116
+ if [ -e "${PYTHON_ACTIVATE}" ]; then
117
+ source "${PYTHON_ACTIVATE}"
118
+ fi;
119
+}
120
+
121
function start_server () {
122
echo "Calling start_server ..."
123
@@ -125,4 +132,5 @@ setup_netrc
125
132
setup_git
126
133
setup_perm
127
134
setup_env
135
+setup_python
128
136
start_server
0 commit comments