Skip to main content

Browse the archive

Revision e03d2d71b36753c71d81d4fd6c07d01801846517 authored by John Chilton on 04 July 2020, 13:50:25 UTC, committed by John Chilton on 04 July 2020, 13:50:25 UTC 
Version 20.5.0 of job-metrics (tag galaxy-job-metrics-20.5.0).
1 parent aad5865
Raw File
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

find lib/galaxy/model/migrate/versions -name '*.pyc' -delete
python ./scripts/manage_db.py $@
back to top