From fa9bf61204711c976b9ec4dfc7507db28d907497 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Tue, 31 Jul 2018 15:50:42 +0800 Subject: [PATCH] exclude a bunch of desktops from the full edu image Signed-off-by: Holger Levsen --- tools/generate_debian-edu_task | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/tools/generate_debian-edu_task b/tools/generate_debian-edu_task index c8098484..1269bfc6 100755 --- a/tools/generate_debian-edu_task +++ b/tools/generate_debian-edu_task @@ -65,7 +65,15 @@ while (defined($_ = )) { # sorts of things that end users won't want/need if ($pkg =~ /^education-development/) { next; - } + elsif ($pkg =~ /^education-desktop-gnome/) { + next; + elsif ($pkg =~ /^education-desktop-kde/) { + next; + elsif ($pkg =~ /^education-desktop-lxde/) { + next; + elsif ($pkg =~ /^education-desktop-other/) { + next; + } print OUT "$pkg\n"; }