|
1
|
#!/bin/bash
|
|
2
|
|
|
3
|
###########################################
|
|
4
|
# Configuration
|
|
5
|
#
|
|
6
|
|
|
7
|
ECLIPSE_FOLDER=~/opt/eclipse-luna-SR1
|
|
8
|
OS_TYPE="linux-x86-64"
|
|
9
|
|
|
10
|
# force GTK2 or GTK3 , per default exlipse seems to be runing with GTK2
|
|
11
|
# https://coffeeorientedprogramming.wordpress.com/2014/10/27/how-to-tell-if-you-are-running-eclipse-on-gtk2-or-on-gtk3/
|
|
12
|
# Gtk2 forced: SWT_GTK3=0
|
|
13
|
# Gtk3 forced: SWT_GTK3=1
|
|
14
|
export SWT_GTK3=0
|
|
15
|
|
|
16
|
# scaling only works with GTK3 (https://askubuntu.com/questions/393400/is-it-possible-to-have-two-different-dpi-configurations-for-two-different-screen)
|
|
17
|
# latitude e5450 screen: 110
|
|
18
|
# external monitor dpi: 96
|
|
19
|
# => scaling factor: 0.872 (0.9 also is good)
|
|
20
|
SCALE=0.9
|
|
21
|
|
|
22
|
#GTK2_RC_FILES=$GTK2_RC_FILES:/home/andreas/.gtkrc-eclipse-luna
|
|
23
|
#GTK2_RC_FILES=/usr/share/themes/Raleigh/gtk-2.0/gtkrc
|
|
24
|
GTK2_RC_FILES=/usr/share/themes/QtCurve/gtk-2.0/gtkrc
|
|
25
|
|
|
26
|
#
|
|
27
|
# enable the GtkInspector: keybinding Ctrl + Shift + I.
|
|
28
|
#
|
|
29
|
#gsettings set org.gtk.Settings.Debug enable-inspector-keybinding true
|
|
30
|
|
|
31
|
#
|
|
32
|
###########################################
|
|
33
|
# options:
|
|
34
|
# -debug -console
|
|
35
|
# Ctrl+Break when it hangs to get a thread dump.
|
|
36
|
#
|
|
37
|
#
|
|
38
|
OPTS=''
|
|
39
|
OPTS=$OPTS' -debug -console'
|
|
40
|
OPTS=$OPTS' -clean'
|
|
41
|
|
|
42
|
echo "GTK2_RC_FILES=$GTK2_RC_FILES"
|
|
43
|
# GDK_SCALE=$SCALE GDK_DPI_SCALE=$SCALE CLUTTER_SCALE=$SCALE $ECLIPSE_FOLDER/eclipse $OPTS -vmargs -Duser.name="a.kohlbecker"
|
|
44
|
$ECLIPSE_FOLDER/eclipse $OPTS -vmargs -Duser.name="a.kohlbecker"
|
|
45
|
|
|
46
|
# Patrick:
|
|
47
|
# Das hier an's Ende der eclipse.ini hat bei mir auch damals ein Problem
|
|
48
|
# gelöst, wo Eclipse einfach immer gecrashed ist, wenn Tooltips gezeigt
|
|
49
|
# werden sollten
|
|
50
|
#
|
|
51
|
# -Dorg.eclipse.swt.browser.DefaultType=mozilla
|
|
52
|
#
|
|
53
|
#
|
|
54
|
|