diff options
Diffstat (limited to 'dev-util/idea-community/files')
| -rw-r--r-- | dev-util/idea-community/files/config-idea-community-14 | 4 | ||||
| -rw-r--r-- | dev-util/idea-community/files/idea-community-14.sh.patch | 11 |
2 files changed, 15 insertions, 0 deletions
diff --git a/dev-util/idea-community/files/config-idea-community-14 b/dev-util/idea-community/files/config-idea-community-14 new file mode 100644 index 0000000..90d1ac3 --- /dev/null +++ b/dev-util/idea-community/files/config-idea-community-14 @@ -0,0 +1,4 @@ +#_JAVA_OPTIONS="-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel" +#IDEA_JDK="$(java-config --select-vm=icedtea-7 -O)" +IDEA_VM_OPTIONS="/etc/idea/idea-community-14.vmoptions" +IDEA_PROPERTIES="/etc/idea/idea-community-14.properties" diff --git a/dev-util/idea-community/files/idea-community-14.sh.patch b/dev-util/idea-community/files/idea-community-14.sh.patch new file mode 100644 index 0000000..ac42d3a --- /dev/null +++ b/dev-util/idea-community/files/idea-community-14.sh.patch @@ -0,0 +1,11 @@ +--- bin/idea.sh.orig 2013-12-04 21:22:26.168958134 +0700 ++++ bin/idea.sh 2013-12-04 21:25:11.628945405 +0700 +@@ -38,6 +38,8 @@ + exit 1 + fi + ++. /etc/conf.d/idea-community-14 ++ + OS_TYPE=`"$UNAME" -s` + + # --------------------------------------------------------------------- |