mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-24 05:18:02 +00:00
1b518965cc
The input for the pkg index is located at gems/run/sculpt/index. The sculpt.run script uses this input for generating the depot index file at depot/<user>/index/<version>. The tool/depot/publish tool support arguments of the form <user>/index/<version> where <version> corresponds to the Sculpt version. Issue #3172 |
||
|---|---|---|
| .. | ||
| launcher | ||
| drop_shadow.png | ||
| empty_runtime.config | ||
| fb_drv.config | ||
| fonts.config | ||
| index | ||
| leitzentrale.config | ||
| machine.vbox | ||
| machine.vdi.gz | ||
| nitpicker.config | ||
| usb.config | ||
| vimrc | ||
| wifi.config | ||
