From 06d68e87ba9749b2b606ce7c37880d1eadcbb413 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 1 Mar 2019 14:15:52 +0100
Subject: [PATCH] sculpt: list all depot users in selection menu

Fixes #3188
---
 repos/gems/src/app/sculpt_manager/runtime/prepare.cc | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/repos/gems/src/app/sculpt_manager/runtime/prepare.cc b/repos/gems/src/app/sculpt_manager/runtime/prepare.cc
index 9421932e0..861292e74 100644
--- a/repos/gems/src/app/sculpt_manager/runtime/prepare.cc
+++ b/repos/gems/src/app/sculpt_manager/runtime/prepare.cc
@@ -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");