ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 10:46:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: update default launchers

Browse Source 
This commit removes most of the default launchers, which are now
superseded by the interactive component addition feature of the '+'
menu.

We keep the chroot components because we cannot easily create chroot
instances interactively yet.

The usb_devices_rom is still needed because its configuration is meant
to be edited at runtime.

It also adds a 'themed_wm' launcher to make the initial sculpt
experience easier. For knowledgeable users, the index contains all
ingredients needed to build a multi-component window manager manually.
This commit is contained in:
Norman Feske 2019-02-25 18:59:07 +01:00 committed by Christian Helmuth
parent c0b93190d0
commit 7921834b1d
20 changed files with 0 additions and 183 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/gems/run/sculpt/launcher/2048
View File

@ -1,6 +0,0 @@
<launcher pkg="ehmry/pkg/2048/2018-08-28">
<route>
<service name="Nitpicker"> <child name="wm"/> </service>
</route>
</launcher>

12
repos/gems/run/sculpt/launcher/acpica
View File

@ -1,12 +0,0 @@
<launcher pkg="acpica">
<config reset="yes" poweroff="yes" report="yes" act_as_acpi_drv="no"/>
<route>
<service name="ROM" label="platform_info"> <parent/> </service>
<service name="ROM" label="system"> <parent label="config -> system"/> </service>
<service name="Platform"> <parent/> </service>
<service name="IO_MEM"> <parent/> </service>
<service name="IO_PORT"> <parent/> </service>
<service name="IRQ"> <parent/> </service>
<service name="Report"> <parent/> </service>
</route>
</launcher>

9
repos/gems/run/sculpt/launcher/arora
View File

@ -1,9 +0,0 @@
<launcher pkg="cproc/pkg/arora/18.11">
<route>
<service name="Nic"> <child name="nic_router"/> </service>
<service name="Nitpicker"> <child name="wm"/> </service>
<service name="Report" label="shape"> <child name="wm"/> </service>
<service name="RM"> <parent/> </service>
<service name="Rtc"> <parent/> </service>
</route>
</launcher>

5
repos/gems/run/sculpt/launcher/backdrop
View File

@ -1,5 +0,0 @@
<launcher pkg="sticks_blue_backdrop">
<route>
<service name="Nitpicker"> <parent label="backdrop"/> </service>
</route>
</launcher>

7
repos/gems/run/sculpt/launcher/config_editor
View File

@ -1,7 +0,0 @@
<launcher pkg="qt5_textedit">
<route>
<service name="File_system" label="rw"> <parent label="config"/> </service>
<service name="Nitpicker"> <child name="wm"/> </service>
<service name="Report" label="shape"> <child name="wm"/> </service>
</route>
</launcher>

9
repos/gems/run/sculpt/launcher/download_debian
View File

@ -1,9 +0,0 @@
<launcher pkg="cnuke/pkg/download_debian/18.11">
<route>
<service name="File_system" label="target"> <child name="vm_fs"/> </service>
<service name="File_system" label="fonts"> <child name="fonts_fs"/> </service>
<service name="Nic"> <child name="nic_router"/> </service>
<service name="Nitpicker"> <child name="wm"/> </service>
<service name="RM"> <parent/> </service>
</route>
</launcher>

9
repos/gems/run/sculpt/launcher/firefox@seoul
View File

@ -1,9 +0,0 @@
<launcher pkg="alex-ab/pkg/seoul-nova-sculpt/18.11-64.0">
<route>
<service name="Nic"> <child name="nic_router"/> </service>
<service name="ROM" label="platform_info"> <parent/> </service>
<service name="RM"> <parent/> </service>
<service name="Rtc"> <parent/> </service>
<service name="Nitpicker"> <child name="wm"/> </service>
</route>
</launcher>

12
repos/gems/run/sculpt/launcher/firefox@vbox
View File

@ -1,12 +0,0 @@
<launcher pkg="alex-ab/pkg/vbox5-tc-firefox-nova-sculpt/18.11-64.0">
<route>
<service name="Nic"> <child name="nic_router"/> </service>
<service name="ROM" label="capslock"> <parent label="capslock"/> </service>
<service name="ROM" label="platform_info"> <parent/> </service>
<service name="Report" label="shape"> <child name="wm"/> </service>
<service name="RM"> <parent/> </service>
<service name="Rtc"> <parent/> </service>
<service name="Nitpicker"> <child name="wm"/> </service>
<service name="File_system" label="shared"> <child name="shared_fs"/> </service>
</route>
</launcher>

5
repos/gems/run/sculpt/launcher/fonts_fs
View File

@ -1,5 +0,0 @@
<launcher pkg="fonts_fs">
<route>
<service name="ROM" label="config"> <parent label="config -> managed/fonts"/> </service>
</route>
</launcher>

9
repos/gems/run/sculpt/launcher/gambatte
View File

@ -1,9 +0,0 @@
<launcher pkg="ehmry/pkg/gambatte/2018-08-28">
<route>
<service name="Nitpicker"> <child name="wm"/> </service>
<!-- The emulator will automatically open the first Game Boy ROM in finds in its file-system session -->
<!-- <service name="File_system"> <child name="chroot" label="shared -> GB"/> </service> -->
<!-- <service name="Audio_out"> <child name="audio_drv"/> </service> -->
</route>
</launcher>

8
repos/gems/run/sculpt/launcher/motif_decorator
View File

@ -1,8 +0,0 @@
<launcher pkg="motif_decorator">
<route>
<service name="ROM" label="window_layout"> <child name="wm"/> </service>
<service name="ROM" label="pointer"> <child name="wm"/> </service>
<service name="Report"> <child name="wm"/> </service>
<service name="Nitpicker"> <child name="wm"/> </service>
</route>
</launcher>

5
repos/gems/run/sculpt/launcher/nano3d
View File

@ -1,5 +0,0 @@
<launcher pkg="nano3d">
<route>
<service name="Nitpicker"> <child name="wm"/> </service>
</route>
</launcher>

15
repos/gems/run/sculpt/launcher/noux-system
View File

@ -1,15 +0,0 @@
<launcher pkg="noux-system">
<route>
<service name="File_system" label="target">
<child name="default_fs_rw"/> </service>
<service name="Nitpicker"> <child name="wm"/> </service>
<service name="File_system" label="config">
<parent label="config"/> </service>
<service name="File_system" label="report">
<parent label="report"/> </service>
<service name="File_system" label="fonts">
<child name="fonts_fs"/> </service>
<service name="ROM" label_last="vimrc">
<parent label="config -> vimrc"/> </service>
</route>
</launcher>

12
repos/gems/run/sculpt/launcher/quake
View File

@ -1,12 +0,0 @@
<launcher pkg="ehmry/pkg/quake_shareware/2018-08-28">
<route>
<service name="Nitpicker"> <child name="wm"/> </service>
<!-- <service name="Audio_out"> <child name="audio_drv"/> </service> -->
<!-- id1/pak1.pak will be loaded automatically
if present in the file-system session -->
<!-- <service name="File_system">
<child name="chroot" label="shared -> quake"/> </service> -->
</route>
</launcher>

8
repos/gems/run/sculpt/launcher/report_dump
View File

@ -1,8 +0,0 @@
<launcher pkg="report_dump">
<route>
<service name="File_system" label="report">
<parent label="report"/> </service>
<service name="File_system" label="target">
<child name="default_fs_rw"/> </service>
</route>
</launcher>

8
repos/gems/run/sculpt/launcher/themed_decorator
View File

@ -1,8 +0,0 @@
<launcher pkg="themed_decorator">
<route>
<service name="ROM" label="window_layout"> <child name="wm"/> </service>
<service name="ROM" label="pointer"> <child name="wm"/> </service>
<service name="Report"> <child name="wm"/> </service>
<service name="Nitpicker"> <child name="wm"/> </service>
</route>
</launcher>

9
repos/gems/run/sculpt/launcher/top_view
View File

@ -1,9 +0,0 @@
<launcher pkg="alex-ab/pkg/top_view/18.11">
<route>
<service name="Nitpicker"> <child name="wm"/> </service>
<service name="TRACE"> <parent/> </service>
<service name="Timer"> <parent/> </service>
<service name="File_system" label="fonts">
<child name="fonts_fs"/> </service>
</route>
</launcher>

16
repos/gems/run/sculpt/launcher/vm
View File

@ -1,16 +0,0 @@
<launcher ram="4300M" pkg="vbox5-nova-sculpt">
<route>
<service name="File_system" label="vm"> <child name="vm_fs"/> </service>
<service name="ROM" label="capslock"> <parent label="capslock"/> </service>
<service name="ROM" label="platform_info"> <parent/> </service>
<service name="ROM" label="usb_devices"> <child name="usb_devices_rom"/> </service>
<service name="Report" label="shape"> <child name="wm"/> </service>
<service name="Nitpicker"> <child name="wm"/> </service>
<service name="Nic"> <child name="nic_router"/> </service>
<service name="Report"> <parent/> </service>
<service name="RM"> <parent/> </service>
<service name="Rtc"> <parent/> </service>
<service name="Usb"> <parent/> </service>
<service name="File_system" label="shared"> <child name="shared_fs"/> </service>
</route>
</launcher>

12
repos/gems/run/sculpt/launcher/window_layouter
View File

@ -1,12 +0,0 @@
<launcher pkg="window_layouter">
<route>
<service name="ROM" label="window_list"> <child name="wm"/> </service>
<service name="ROM" label="focus_request"> <child name="wm"/> </service>
<service name="ROM" label="hover"> <child name="wm"/> </service>
<service name="ROM" label="decorator_margins"> <child name="wm"/> </service>
<service name="Report"> <child name="wm"/> </service>
<service name="Nitpicker"> <child name="wm"/> </service>
<service name="File_system">
<child name="recall_fs" label="window_layouter"/> </service>
</route>
</launcher>

7
repos/gems/run/sculpt/launcher/wm
View File

@ -1,7 +0,0 @@
<launcher pkg="wm">
<route>
<service name="Nitpicker" label="wm -> "> <parent label="focus"/> </service>
<service name="Nitpicker"> <parent/> </service>
<service name="Report" label_last="shape"> <parent/> </service>
</route>
</launcher>