3 JMHOME=${JMHOME:-/home/groups/l/li/linuxjm}
7 LOCAL_PIP_BASE=$HOME/.local
8 GET_PIP_URL=https://raw.github.com/pypa/pip/master/contrib/get-pip.py
10 if [ ! -f $LOCAL_PIP_BASE/bin/pip ]; then
12 python get-pip.py --user
15 if [ ! -f $LOCAL_PIP_BASE/bin/virtualenv ]; then
16 $LOCAL_PIP_BASE/bin/pip install --user virtualenv
18 if [ ! -d $VENV ]; then
19 $LOCAL_PIP_BASE/bin/virtualenv $VENV
23 pip install sphinx sphinx-bootstrap-theme