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

bash.run: support using pipes

This commit is contained in:
Norman Feske 2019-11-03 11:51:44 +01:00 committed by Christian Helmuth
parent c51b4b5742
commit eb9a9bf23d
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/ports/run/bash.run
View File

@ -10,6 +10,7 @@ import_from_depot [depot_user]/src/[base_src] \
[depot_user]/src/bash \
[depot_user]/src/coreutils \
[depot_user]/src/vfs \
[depot_user]/src/vfs_pipe \
[depot_user]/src/fs_rom
# write default vimrc file
@ -83,6 +84,7 @@ install_config {
<dir name="tmp"> <ram/> </dir>
<dir name="dev">
<zero/> <null/> <terminal/>
<dir name="pipe"> <pipe/> </dir>
<inline name="rtc">2018-01-01 00:01</inline>
</dir>
</vfs>
@ -105,9 +107,9 @@ install_config {
<start name="/bin/bash" caps="1000">
<resource name="RAM" quantum="30M" />
<config>
<config ld_verbose="yes">
<libc stdin="/dev/terminal" stdout="/dev/terminal"
stderr="/dev/terminal" rtc="/dev/rtc"/>
stderr="/dev/terminal" rtc="/dev/rtc" pipe="/dev/pipe"/>
<vfs> <fs/> </vfs>
<arg value="bash"/>
<env key="TERM" value="screen"/>