From ccc5f73ad97ebc7fdc76c71357cad0e07054923a Mon Sep 17 00:00:00 2001 From: Moritz Holtz <moritz.holtz@rwth-aachen.de> Date: Wed, 6 Apr 2016 15:28:06 +0200 Subject: [PATCH] linuxparty.sh: added eclipse and valgrind --- scripts/linuxparty.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/linuxparty.sh b/scripts/linuxparty.sh index 0c66cef..ce7ec40 100644 --- a/scripts/linuxparty.sh +++ b/scripts/linuxparty.sh @@ -69,11 +69,13 @@ PH_PKGS=(\ ) IF_PKGS=(\ +"FALSE" "eclipse" "Umfangreiche Entwicklungsumgebung für verschiedene Programiersprachen, vornehmlich Java." \ "FALSE" "postgresql" "Datenbank-Server. Nett um in der Datenbanken-Vorlesungen Dinge auszuprobieren.\n Aber relativ groß." \ "TRUE" "dia" "Graphisches Tool, um UML/ER Diagramme für die Vorlesungen Softwaretechnik und Datenbanken anzufertigen" \ "TRUE" "ghc" "Glaskow Haskell Compiler für die Vorlesung Programmierung" \ "TRUE" "default-jdk" "Java JDK für die Vorlesung Programmierung" \ "TRUE" "swi-prolog" "Prolog Interpreter/Compiler für die Vorlesung Programmierung" \ +"FALSE" "valgrind" "Debugging- und Profilingtool, welches bei der Entwicklung von Programmen hilft." \ ) M_PKGS=(\ -- GitLab