Content - 192bc3d15156a14b9e1aa4fb7d38a873e24e6d37 - b2060fd/manage_db.sh

visit type:

Tip revision: ce362e60abbafdffa65acaf68f9492cec7196a9d authored by Martin Cech on 23 May 2018, 18:44:54 UTC
Update version to 18.05

Tip revision: ce362e6

manage_db.sh

#!/bin/sh

#######
# NOTE: To downgrade to a specific version, use something like:
# sh manage_db.sh downgrade --version=3 <tool_shed if using that webapp - galaxy is the default>
#######

cd `dirname $0`

. ./scripts/common_startup_functions.sh

setup_python

python ./scripts/manage_db.py $@

Browse the archive

https://github.com/galaxyproject/galaxy