genode/repos/gems/run/sculpt/index
Norman Feske 1b518965cc depot/sculpt: support for index files
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
2019-02-28 11:34:06 +01:00

28 lines
1002 B
Plaintext

<index>
<index name="GUI">
<pkg path="sticks_blue_backdrop" info="default desktop background"/>
<pkg path="themed_wm" info="ready-to-use window manager"/>
<pkg path="fonts_fs" info="font provider"/>
<pkg path="wm" info="window manager"/>
<pkg path="motif_decorator" info="Motif-style window decorator"/>
<pkg path="themed_decorator" info="modern-looking window decorator"/>
<pkg path="window_layouter" info="default window layouter"/>
</index>
<index name="Tools">
<pkg path="noux-system" info="command-line interface to the system"/>
<pkg path="qt5_textedit" info="Qt5-based text editor"/>
<pkg path="report_dump" info="save periodic snapshots of the report fs"/>
</index>
<index name="Demos">
<pkg path="nano3d" info="simple software-rendering demo"/>
</index>
<index name="Virtual machines">
<pkg path="vbox5-nova-sculpt" info="VBox5 for running Linux"/>
</index>
</index>