alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

sculpt: remove noux runtime from inspect view

Browse Source 
Issue #3696
This commit is contained in:
Norman Feske
2020-03-25 20:23:40 +01:00
committed by Christian Helmuth
parent 5347278136
commit 42a77c531a
10 changed files with 362 additions and 252 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
repos/gems/run/leitzentrale.run
View File

@@ -22,7 +22,6 @@ import_from_depot [depot_user]/src/[base_src] \
[depot_user]/src/menu_view \
[depot_user]/src/fs_query \
[depot_user]/src/rom_filter \
[depot_user]/src/noux \
[depot_user]/src/terminal \
[depot_user]/src/posix \
[depot_user]/src/ram_block \
@@ -34,6 +33,7 @@ import_from_depot [depot_user]/src/[base_src] \
[depot_user]/src/vim-minimal \
[depot_user]/src/coreutils-minimal \
[depot_user]/src/fs_utils \
[depot_user]/src/vfs_pipe \
[depot_user]/src/stdin2out \
[depot_user]/src/gpt_write \
[depot_user]/src/text_area \
@@ -274,10 +274,14 @@ install_config {
<child name="config_rom"/> </service>
<service name="ROM" label_prefix="leitzentrale ->">
<child name="leitzentrale"/> </service>
<service name="ROM" label="inspect terminal -> clipboard">
<service name="ROM" label="inspect -> clipboard">
<child name="report_rom" label="clipboard"/> </service>
<service name="ROM" label="editor -> clipboard">
<child name="report_rom" label="clipboard"/> </service>
<service name="ROM" label_last="cached_fs_rom"> <!-- for Linux -->
<parent label="fs_rom"/> </service>
<service name="Report" label="inspect -> clipboard">
<child name="report_rom" label="clipboard"/> </service>
<service name="Report" label="editor -> clipboard">
<child name="report_rom" label="clipboard"/> </service>
<service name="File_system" label="config">