ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 23:42:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: replace log-noux instance by stdin2out

Browse Source 
Issue #3696
This commit is contained in:
Norman Feske 2020-03-25 11:39:45 +01:00 committed by Christian Helmuth
parent bb35b997b8
commit ca5c25ac04
3 changed files with 9 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/gems/recipes/pkg/sculpt/archives
View File

@ -47,6 +47,7 @@ _/src/zlib
_/src/menu_view _/src/menu_view
_/src/gpt_write _/src/gpt_write
_/src/sculpt_manager _/src/sculpt_manager
_/src/stdin2out
_/src/fs_query _/src/fs_query
_/src/fs_tool _/src/fs_tool
_/src/text_area _/src/text_area

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

@ -34,6 +34,7 @@ import_from_depot [depot_user]/src/[base_src] \
[depot_user]/src/vim-minimal \ [depot_user]/src/vim-minimal \
[depot_user]/src/coreutils-minimal \ [depot_user]/src/coreutils-minimal \
[depot_user]/src/fs_utils \ [depot_user]/src/fs_utils \
[depot_user]/src/stdin2out \
[depot_user]/src/gpt_write \ [depot_user]/src/gpt_write \
[depot_user]/src/text_area \ [depot_user]/src/text_area \
[depot_user]/src/sandbox \ [depot_user]/src/sandbox \

19
repos/gems/run/sculpt/leitzentrale.config
View File

@ -283,20 +283,15 @@
</route> </route>
</start> </start>
<start name="log_noux" caps="200"> <start name="log" caps="100">
<binary name="noux"/> <binary name="stdin2out"/>
<resource name="RAM" quantum="8M" /> <resource name="RAM" quantum="2M" />
<config> <config>
<fstab> <libc stdin="/report/log" stdout="/dev/terminal"/>
<tar name="coreutils-minimal.tar" /> <vfs>
<dir name="dev"> <zero/> <null/> </dir> <dir name="dev"> <terminal/> </dir>
<dir name="report"> <fs label="report"/> </dir> <dir name="report"> <fs label="report"/> </dir>
</fstab> </vfs>
<start name="/bin/tail">
<env name="TERM" value="screen" />
<arg value="-f"/>
<arg value="/report/log"/>
</start>
</config> </config>
<route> <route>
<service name="File_system"> <parent label="report"/> </service> <service name="File_system"> <parent label="report"/> </service>