Hi all,
I want to change the location of the toolshed database. First I copied all contents to the new location, and next, I adjusted community_wsgi.ini: file_path = /mnt/toolsheddb/community_files
However, the toolshed fails to start now, throwing this error: RepoError: repository /home/galaxy/toolshed/database/community_files/000/repo_1 not found
It still checks the old location apparently.
Thanks for the assistance,
Joachim