I did a dumb thing and deleted a directory I shouldn't have. I've repaired most of the damage but I can't figure out how to fix my tool panel.
So far, with some work I've fixed the postgresql database, and put software back where it should be. My local galaxy (running in docker based off of https://github.com/bgruening/docker-galaxy-stable) now has all my data and I'm able to see and interact with histories. If I check the admin panel under `Manage installed tool shed repositories` I'm able to see all the tools I have installed up until now and refresh their status. /galaxy-central/tool-deps has software in it. /shed_tools also has software things.
Is it somehow possible to re-create the tool panel from the tools that galaxy already knows are installed?
Which file should I be editing if I can't get this to automatically populate?
Thanks in advance!