diff options
| author | Andrew Branson <andrew.branson@cern.ch> | 2014-04-02 15:46:18 +0200 |
|---|---|---|
| committer | Andrew Branson <andrew.branson@cern.ch> | 2014-04-02 15:46:18 +0200 |
| commit | ee8c659987eadf1eec2d6c1a1c6258940e64b869 (patch) | |
| tree | 0711d3a16c747345df16403cf5c91b61adf2c83a | |
| parent | aaa9509c6f4e5ac0edb308041d1ffa361b468a5f (diff) | |
De-favourite the launchers for the kernel as they aren't really useful
without modules.
| -rw-r--r-- | bin/eclipse/Cristal Kernel Console.launch | 4 | ||||
| -rw-r--r-- | bin/eclipse/Cristal Kernel Server.launch | 3 | ||||
| -rw-r--r-- | bin/eclipse/Cristal Kernel UserCode.launch | 3 |
3 files changed, 0 insertions, 10 deletions
diff --git a/bin/eclipse/Cristal Kernel Console.launch b/bin/eclipse/Cristal Kernel Console.launch index b8bae26..7cf7530 100644 --- a/bin/eclipse/Cristal Kernel Console.launch +++ b/bin/eclipse/Cristal Kernel Console.launch @@ -7,10 +7,6 @@ <listEntry value="1"/>
</listAttribute>
<stringAttribute key="org.eclipse.debug.ui.ATTR_CONSOLE_ENCODING" value="UTF-8"/>
-<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
-<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
-<listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
-</listAttribute>
<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.c2kernel.process.ClientShell"/>
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-config bin/conf/client.conf -connect ${file_prompt}"/>
diff --git a/bin/eclipse/Cristal Kernel Server.launch b/bin/eclipse/Cristal Kernel Server.launch index 0090295..79bb329 100644 --- a/bin/eclipse/Cristal Kernel Server.launch +++ b/bin/eclipse/Cristal Kernel Server.launch @@ -8,9 +8,6 @@ <listEntry value="1"/>
</listAttribute>
<stringAttribute key="org.eclipse.debug.ui.ATTR_CONSOLE_ENCODING" value="UTF-8"/>
-<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
-<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
-</listAttribute>
<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.c2kernel.process.StandardServer"/>
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-logLevel 0 -config bin/conf/server.conf -connect ${file_prompt}"/>
diff --git a/bin/eclipse/Cristal Kernel UserCode.launch b/bin/eclipse/Cristal Kernel UserCode.launch index f6798d2..48d76e1 100644 --- a/bin/eclipse/Cristal Kernel UserCode.launch +++ b/bin/eclipse/Cristal Kernel UserCode.launch @@ -8,9 +8,6 @@ <listEntry value="1"/>
</listAttribute>
<stringAttribute key="org.eclipse.debug.ui.ATTR_CONSOLE_ENCODING" value="UTF-8"/>
-<listAttribute key="org.eclipse.debug.ui.favoriteGroups">
-<listEntry value="org.eclipse.debug.ui.launchGroup.debug"/>
-</listAttribute>
<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.c2kernel.process.UserCodeProcess"/>
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-logLevel 0 -config bin/conf/client.conf -connect ${file_prompt}"/>
|