https://github.com/galaxyproject/galaxy
Raw File
Tip revision: 9ee3d01c301ca067f7b94ee3c75bd784fafc4572 authored by Nate Coraor on 15 December 2016, 17:36:21 UTC
Merge branch 'release_14.10' into release_15.01
Tip revision: 9ee3d01
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