]> git.pld-linux.org Git - packages/intellij-idea-ultimate.git/blame - xdg-paths.patch
up to 2016.3
[packages/intellij-idea-ultimate.git] / xdg-paths.patch
CommitLineData
7975955d
ER
1--- idea-IU-129.713/bin/idea.sh~ 2013-06-10 12:27:34.000000000 +0300
2+++ idea-IU-129.713/bin/idea.sh 2013-09-30 12:48:36.835154099 +0300
ab60db06 3@@ -163,6 +163,9 @@
7975955d
ER
4 fi
5 fi
6
af1d6839
JP
7+WEBIDE_CONFIG_DIR="${XDG_CONFIG_HOME:-$HOME/.config}/IntelliJIdea"
8+WEBIDE_CACHE_DIR="${XDG_CACHE_HOME:-$HOME/.cache}/IntelliJIdea"
7975955d 9+
af1d6839
JP
10 # ---------------------------------------------------------------------
11 # Run the IDE.
12 # ---------------------------------------------------------------------
13@@ -187,6 +190,7 @@
bdc3065e
JP
14 "-XX:ErrorFile=$HOME/java_error_in_IDEA_%p.log" \
15 "-XX:HeapDumpPath=$HOME/java_error_in_IDEA.hprof" \
16 -Didea.paths.selector=IntelliJIdea2016.3 \
af1d6839
JP
17+ -Dwebide.config.dir=$WEBIDE_CONFIG_DIR -Dwebide.cache.dir=$WEBIDE_CACHE_DIR \
18 "-Djb.vmOptionsFile=$VM_OPTIONS_FILE" \
bdc3065e
JP
19 ${IDE_PROPERTIES_PROPERTY} \
20 -Didea.jre.check=true \
af1d6839
JP
21--- IntelliJIdea-145.258.2/bin/idea.properties~ 2016-03-16 17:02:05.000000000 +0200
22+++ IntelliJIdea-145.258.2/bin/idea.properties 2016-03-21 11:07:02.191952728 +0200
23@@ -6,21 +6,25 @@
f21183a8 24 # Uncomment this option if you want to customize path to IDE config folder. Make sure you're using forward slashes.
7975955d 25 #---------------------------------------------------------------------
af1d6839 26 # idea.config.path=${user.home}/.IntelliJIdea/config
7975955d
ER
27+idea.config.path=${webide.config.dir}
28
29 #---------------------------------------------------------------------
f21183a8 30 # Uncomment this option if you want to customize path to IDE system folder. Make sure you're using forward slashes.
7975955d 31 #---------------------------------------------------------------------
af1d6839 32 # idea.system.path=${user.home}/.IntelliJIdea/system
7975955d
ER
33+idea.system.path=${webide.cache.dir}
34
35 #---------------------------------------------------------------------
f21183a8 36 # Uncomment this option if you want to customize path to user installed plugins folder. Make sure you're using forward slashes.
7975955d 37 #---------------------------------------------------------------------
af1d6839 38 # idea.plugins.path=${idea.config.path}/plugins
7975955d
ER
39+idea.plugins.path=${webide.config.dir}/plugins
40
41 #---------------------------------------------------------------------
42 # Uncomment this option if you want to customize path to IDE logs folder. Make sure you're using forward slashes.
43 #---------------------------------------------------------------------
af1d6839 44 # idea.log.path=${idea.system.path}/log
7975955d
ER
45+idea.log.path=${webide.cache.dir}/log
46
47 #---------------------------------------------------------------------
48 # Maximum file size (kilobytes) IDE should provide code assistance for.
This page took 0.44556 seconds and 4 git commands to generate.