Sculpt VC Depot Configuration

Nobody III hungryninja101 at
Tue Oct 2 07:07:51 CEST 2018

If you want to add a new depot source, you currently have to manually
create/copy the depot directory with the public key and download source.
Currently, the depot sources to copy are hardcoded
into repos/gems/src/app/sculpt_manager/runtime/, so in order to
automatically copy them over when selecting which filesystem to use, you'd
need to modify that file. I'm not entirely sure why they're hardcoded, but
it's easy enough to copy the directory over yourself. For my depot, for
example, you'd just need to type into a noux bash terminal "cp -r
/shared/depot/blarson /rw/depot". Or you can copy all of them over using
"cp -r /shared/depot /rw". Before this, you'll have to have the depot
inside genode/depot for it to be included in the sculpt image.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list