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

sculpt: list all depot users in selection menu

Browse Source 
Fixes #3188
This commit is contained in:
Norman Feske 2019-03-01 14:15:52 +01:00
parent 8c2235c9a7
commit 06d68e87ba
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/gems/src/app/sculpt_manager/runtime/prepare.cc
View File

@ -25,9 +25,7 @@ void Sculpt::gen_prepare_start_content(Xml_generator &xml, Prepare_version versi
"export VERSION=`cat /VERSION`\n"
"cp -r /rw/config/$VERSION/* /config/\n"
"mkdir -p /rw/depot\n"
"cp -r depot/genodelabs depot/alex-ab depot/chelmuth depot/cproc"
" depot/cnuke depot/ehmry depot/nfeske depot/skalk"
" /rw/depot\n";
"cp -r depot/* /rw/depot\n";
xml.node("config", [&] () {
xml.attribute("stdout", "/dev/null");