denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

sculpt: limit depot selection

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

Issue #4281
This commit is contained in:
Norman Feske
2021-10-05 11:50:23 +02:00
parent 7cae324726
commit 42541fcc92
1 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
repos/gems/run/sculpt.run
View File

@@ -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]"