From f72f110eb34d51370d40c218ca18add8ea18890b Mon Sep 17 00:00:00 2001
From: =?utf8?q?Mario=20H=C3=B6llein?= <mhoellein@freenet.de>
Date: Thu, 20 Dec 2018 11:05:26 +0100
Subject: [PATCH] saving uncommitted changes in /etc prior to apt run

---
 eclipse.ini | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/eclipse.ini b/eclipse.ini
index db3cd6d..a1e715b 100644
--- a/eclipse.ini
+++ b/eclipse.ini
@@ -1,11 +1,10 @@
+-debug
 -startup
 plugins/org.eclipse.equinox.launcher_1.3.0.dist.jar
 --launcher.library
 plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.200.dist
 -showsplash
 org.eclipse.platform
---launcher.XXMaxPermSize
-256m
 --launcher.defaultAction
 openFile
 -vmargs
-- 
2.43.0