https://github.com/galaxyproject/galaxy
Raw File
Tip revision: e7ac63766703ae21ab09e7ed3479ed143b8ee28b authored by Nate Coraor on 11 August 2014, 20:47:21 UTC
Merge next-stable branch for release_2014.08.11
Tip revision: e7ac637
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`
python ./scripts/manage_db.py $@
back to top