Once Singularity images are built they should be deployed to Galaxy. Currently the images are loaded from WORKBENCH_ROOT/export/galaxy/database/container_cache/singularity/mulled/ which is a directory mounted into the Galaxy Docker container and thus not writeable by an ordinary user.
Ideally deployment should be done by the galaxy-configurator so that new images are installed when the Workbench starts up.
Once Singularity images are built they should be deployed to Galaxy. Currently the images are loaded from
WORKBENCH_ROOT/export/galaxy/database/container_cache/singularity/mulled/which is a directory mounted into the Galaxy Docker container and thus not writeable by an ordinary user.Ideally deployment should be done by the
galaxy-configuratorso that new images are installed when the Workbench starts up.