https://github.com/galaxyproject/galaxy
Raw File
Tip revision: c78b7b67f6b55a577bca9dad0cbfe0ffee48aced authored by guerler on 09 March 2015, 17:55:47 UTC
Merge branch 'release_15.03' of https://github.com/galaxyproject/galaxy into release_15.03
Tip revision: c78b7b6
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