mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-26 00:41:08 +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
28 lines
1002 B
Plaintext
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>
|