Skip to main content

Browse the archive

https://github.com/galaxyproject/galaxy
22 May 2024, 15:32:24 UTC
Revision 90de3f2588a61382e70b6209ea39293c6a3987f1 authored by Martin Cech on 22 February 2017, 15:56:56 UTC, committed by Martin Cech on 22 February 2017, 15:56:56 UTC 
Update version to 17.01
1 parent 9ebe2d2
Raw File
Tip revision: 90de3f2588a61382e70b6209ea39293c6a3987f1 authored by Martin Cech on 22 February 2017, 15:56:56 UTC
Update version to 17.01
Tip revision: 90de3f2
manage_tools.sh 
#!/bin/sh

: ${GALAXY_VIRTUAL_ENV:=.venv}

if [ -d "$GALAXY_VIRTUAL_ENV" ];
then
    printf "Activating virtualenv at $GALAXY_VIRTUAL_ENV\n"
    . "$GALAXY_VIRTUAL_ENV/bin/activate"
fi

cd `dirname $0`
python ./scripts/manage_tools.py $@
back to top