From 42541fcc921925fb6cdb3b7449202b3f9e17b152 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 5 Oct 2021 11:50:23 +0200
Subject: [PATCH] sculpt: limit depot selection

This patch reduces the items of the default depot-selection menu to
users that actively maintain a Sculpt index.

Issue #4281
---
 repos/gems/run/sculpt.run | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index 798fd47606..c4f20d35d9 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -679,9 +679,14 @@ close $fd
 #
 # Add current depot index of [depot_user] as generated above.
 #
-set depot_users_files [exec sh -c "cd [genode_dir]; \
-                                   find depot -maxdepth 3 -name pubkey \
-                                                      -or -name download"]
+set depot_selection { genodelabs cnuke alex-ab mstein nfeske cproc chelmuth
+                      jschlatow ssumpf skalk }
+
+set depot_users_files {}
+foreach user $depot_selection {
+	lappend depot_users_files [file join depot $user pubkey] \
+	                          [file join depot $user download] }
+
 exec sh -c "tar cf [run_dir]/genode/depot_users.tar -C [genode_dir] \
                    [join $depot_users_files]"