From 7921834b1d322d2eb45a408e945fa23cd53df68f Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 25 Feb 2019 18:59:07 +0100
Subject: [PATCH] sculpt: update default launchers

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.
---
 repos/gems/run/sculpt/launcher/2048             |  6 ------
 repos/gems/run/sculpt/launcher/acpica           | 12 ------------
 repos/gems/run/sculpt/launcher/arora            |  9 ---------
 repos/gems/run/sculpt/launcher/backdrop         |  5 -----
 repos/gems/run/sculpt/launcher/config_editor    |  7 -------
 repos/gems/run/sculpt/launcher/download_debian  |  9 ---------
 repos/gems/run/sculpt/launcher/firefox@seoul    |  9 ---------
 repos/gems/run/sculpt/launcher/firefox@vbox     | 12 ------------
 repos/gems/run/sculpt/launcher/fonts_fs         |  5 -----
 repos/gems/run/sculpt/launcher/gambatte         |  9 ---------
 repos/gems/run/sculpt/launcher/motif_decorator  |  8 --------
 repos/gems/run/sculpt/launcher/nano3d           |  5 -----
 repos/gems/run/sculpt/launcher/noux-system      | 15 ---------------
 repos/gems/run/sculpt/launcher/quake            | 12 ------------
 repos/gems/run/sculpt/launcher/report_dump      |  8 --------
 repos/gems/run/sculpt/launcher/themed_decorator |  8 --------
 repos/gems/run/sculpt/launcher/top_view         |  9 ---------
 repos/gems/run/sculpt/launcher/vm               | 16 ----------------
 repos/gems/run/sculpt/launcher/window_layouter  | 12 ------------
 repos/gems/run/sculpt/launcher/wm               |  7 -------
 20 files changed, 183 deletions(-)
 delete mode 100644 repos/gems/run/sculpt/launcher/2048
 delete mode 100644 repos/gems/run/sculpt/launcher/acpica
 delete mode 100644 repos/gems/run/sculpt/launcher/arora
 delete mode 100644 repos/gems/run/sculpt/launcher/backdrop
 delete mode 100644 repos/gems/run/sculpt/launcher/config_editor
 delete mode 100644 repos/gems/run/sculpt/launcher/download_debian
 delete mode 100644 repos/gems/run/sculpt/launcher/firefox@seoul
 delete mode 100644 repos/gems/run/sculpt/launcher/firefox@vbox
 delete mode 100644 repos/gems/run/sculpt/launcher/fonts_fs
 delete mode 100644 repos/gems/run/sculpt/launcher/gambatte
 delete mode 100644 repos/gems/run/sculpt/launcher/motif_decorator
 delete mode 100644 repos/gems/run/sculpt/launcher/nano3d
 delete mode 100644 repos/gems/run/sculpt/launcher/noux-system
 delete mode 100755 repos/gems/run/sculpt/launcher/quake
 delete mode 100644 repos/gems/run/sculpt/launcher/report_dump
 delete mode 100644 repos/gems/run/sculpt/launcher/themed_decorator
 delete mode 100644 repos/gems/run/sculpt/launcher/top_view
 delete mode 100644 repos/gems/run/sculpt/launcher/vm
 delete mode 100644 repos/gems/run/sculpt/launcher/window_layouter
 delete mode 100644 repos/gems/run/sculpt/launcher/wm

diff --git a/repos/gems/run/sculpt/launcher/2048 b/repos/gems/run/sculpt/launcher/2048
deleted file mode 100644
index 77ce952b71..0000000000
--- a/repos/gems/run/sculpt/launcher/2048
+++ /dev/null
@@ -1,6 +0,0 @@
-<launcher pkg="ehmry/pkg/2048/2018-08-28">
-	<route>
-		<service name="Nitpicker"> <child name="wm"/> </service>
-	</route>
-</launcher>
-
diff --git a/repos/gems/run/sculpt/launcher/acpica b/repos/gems/run/sculpt/launcher/acpica
deleted file mode 100644
index daa71690f1..0000000000
--- a/repos/gems/run/sculpt/launcher/acpica
+++ /dev/null
@@ -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>
diff --git a/repos/gems/run/sculpt/launcher/arora b/repos/gems/run/sculpt/launcher/arora
deleted file mode 100644
index 810e8aaaf1..0000000000
--- a/repos/gems/run/sculpt/launcher/arora
+++ /dev/null
@@ -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>
diff --git a/repos/gems/run/sculpt/launcher/backdrop b/repos/gems/run/sculpt/launcher/backdrop
deleted file mode 100644
index ae0ad5ac89..0000000000
--- a/repos/gems/run/sculpt/launcher/backdrop
+++ /dev/null
@@ -1,5 +0,0 @@
-<launcher pkg="sticks_blue_backdrop">
-	<route>
-		<service name="Nitpicker"> <parent label="backdrop"/> </service>
-	</route>
-</launcher>
diff --git a/repos/gems/run/sculpt/launcher/config_editor b/repos/gems/run/sculpt/launcher/config_editor
deleted file mode 100644
index d83a2d504f..0000000000
--- a/repos/gems/run/sculpt/launcher/config_editor
+++ /dev/null
@@ -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>
diff --git a/repos/gems/run/sculpt/launcher/download_debian b/repos/gems/run/sculpt/launcher/download_debian
deleted file mode 100644
index 2bdf76c941..0000000000
--- a/repos/gems/run/sculpt/launcher/download_debian
+++ /dev/null
@@ -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>
diff --git a/repos/gems/run/sculpt/launcher/firefox@seoul b/repos/gems/run/sculpt/launcher/firefox@seoul
deleted file mode 100644
index 25e014415f..0000000000
--- a/repos/gems/run/sculpt/launcher/firefox@seoul
+++ /dev/null
@@ -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>
diff --git a/repos/gems/run/sculpt/launcher/firefox@vbox b/repos/gems/run/sculpt/launcher/firefox@vbox
deleted file mode 100644
index 74548bd989..0000000000
--- a/repos/gems/run/sculpt/launcher/firefox@vbox
+++ /dev/null
@@ -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>
diff --git a/repos/gems/run/sculpt/launcher/fonts_fs b/repos/gems/run/sculpt/launcher/fonts_fs
deleted file mode 100644
index e9aa7bdca5..0000000000
--- a/repos/gems/run/sculpt/launcher/fonts_fs
+++ /dev/null
@@ -1,5 +0,0 @@
-<launcher pkg="fonts_fs">
-	<route>
-		<service name="ROM" label="config"> <parent label="config -> managed/fonts"/> </service>
-	</route>
-</launcher>
diff --git a/repos/gems/run/sculpt/launcher/gambatte b/repos/gems/run/sculpt/launcher/gambatte
deleted file mode 100644
index a7fc177f66..0000000000
--- a/repos/gems/run/sculpt/launcher/gambatte
+++ /dev/null
@@ -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>
-
diff --git a/repos/gems/run/sculpt/launcher/motif_decorator b/repos/gems/run/sculpt/launcher/motif_decorator
deleted file mode 100644
index ca5dc85d44..0000000000
--- a/repos/gems/run/sculpt/launcher/motif_decorator
+++ /dev/null
@@ -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>
diff --git a/repos/gems/run/sculpt/launcher/nano3d b/repos/gems/run/sculpt/launcher/nano3d
deleted file mode 100644
index 38d39fed9c..0000000000
--- a/repos/gems/run/sculpt/launcher/nano3d
+++ /dev/null
@@ -1,5 +0,0 @@
-<launcher pkg="nano3d">
-	<route>
-		<service name="Nitpicker"> <child name="wm"/> </service>
-	</route>
-</launcher>
diff --git a/repos/gems/run/sculpt/launcher/noux-system b/repos/gems/run/sculpt/launcher/noux-system
deleted file mode 100644
index 342a8f1534..0000000000
--- a/repos/gems/run/sculpt/launcher/noux-system
+++ /dev/null
@@ -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>
diff --git a/repos/gems/run/sculpt/launcher/quake b/repos/gems/run/sculpt/launcher/quake
deleted file mode 100755
index e5e6b05b96..0000000000
--- a/repos/gems/run/sculpt/launcher/quake
+++ /dev/null
@@ -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>
-
diff --git a/repos/gems/run/sculpt/launcher/report_dump b/repos/gems/run/sculpt/launcher/report_dump
deleted file mode 100644
index 6849520d7f..0000000000
--- a/repos/gems/run/sculpt/launcher/report_dump
+++ /dev/null
@@ -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>
diff --git a/repos/gems/run/sculpt/launcher/themed_decorator b/repos/gems/run/sculpt/launcher/themed_decorator
deleted file mode 100644
index a9fe9c0936..0000000000
--- a/repos/gems/run/sculpt/launcher/themed_decorator
+++ /dev/null
@@ -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>
diff --git a/repos/gems/run/sculpt/launcher/top_view b/repos/gems/run/sculpt/launcher/top_view
deleted file mode 100644
index bb99dcc57d..0000000000
--- a/repos/gems/run/sculpt/launcher/top_view
+++ /dev/null
@@ -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>
diff --git a/repos/gems/run/sculpt/launcher/vm b/repos/gems/run/sculpt/launcher/vm
deleted file mode 100644
index ce6236898b..0000000000
--- a/repos/gems/run/sculpt/launcher/vm
+++ /dev/null
@@ -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>
diff --git a/repos/gems/run/sculpt/launcher/window_layouter b/repos/gems/run/sculpt/launcher/window_layouter
deleted file mode 100644
index 5e75ec3151..0000000000
--- a/repos/gems/run/sculpt/launcher/window_layouter
+++ /dev/null
@@ -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>
diff --git a/repos/gems/run/sculpt/launcher/wm b/repos/gems/run/sculpt/launcher/wm
deleted file mode 100644
index 62b341fe5a..0000000000
--- a/repos/gems/run/sculpt/launcher/wm
+++ /dev/null
@@ -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>