pld.patch

   1 --- RubyMine-6.0.3/bin/rubymine.sh~     2014-01-17 06:23:31.000000000 +0200
   2 +++ RubyMine-6.0.3/bin/rubymine.sh      2014-02-15 23:17:32.187118877 +0200
   3 @@ -145,8 +145,11 @@
   4    fi
   5  fi
   6
   7 +CONFIG_DIR="${XDG_CONFIG_HOME:-$HOME/.config}/RubyMine"
   8 +CACHE_DIR="${XDG_CACHE_HOME:-$HOME/.cache}/RubyMine"
   9 +
  10  COMMON_JVM_ARGS="\"-Xbootclasspath/a:$IDE_HOME/lib/boot.jar\" -Didea.paths.selector=RubyMine60 $IDE_PROPERTIES_PROPERTY"
  11 -IDE_JVM_ARGS="-Didea.platform.prefix=Ruby -Didea.no.jre.check=true"
  12 +IDE_JVM_ARGS="-Didea.platform.prefix=Ruby -Didea.no.jre.check=true -Drubymine.config.dir=$CONFIG_DIR -Drubymine.cache.dir=$CACHE_DIR"
  13  ALL_JVM_ARGS="$VM_OPTIONS $COMMON_JVM_ARGS $IDE_JVM_ARGS $AGENT $REQUIRED_JVM_ARGS"
  14
  15  CLASSPATH="$IDE_HOME/lib/bootstrap.jar"
  16 --- RubyMine-6.0.3/bin/idea.properties~ 2014-01-17 06:04:22.000000000 +0200
  17 +++ RubyMine-6.0.3/bin/idea.properties  2014-02-15 23:18:48.827181727 +0200
  18 @@ -6,21 +6,25 @@
  19  # Uncomment this option if you want to customize path to IDE config folder. Make sure you're using forward slashes.
  20  #---------------------------------------------------------------------
  21  # idea.config.path=${user.home}/.RubyMine/config
  22 +idea.config.path=${rubymine.config.dir}
  23
  24  #---------------------------------------------------------------------
  25  # Uncomment this option if you want to customize path to IDE system folder. Make sure you're using forward slashes.
  26  #---------------------------------------------------------------------
  27  # idea.system.path=${user.home}/.RubyMine/system
  28 +idea.system.path=${rubymine.cache.dir}
  29
  30  #---------------------------------------------------------------------
  31  # Uncomment this option if you want to customize path to user installed plugins folder. Make sure you're using forward slashes.
  32  #---------------------------------------------------------------------
  33  # idea.plugins.path=${idea.config.path}/plugins
  34 +idea.plugins.path=${rubymine.config.dir}/plugins
  35
  36  #---------------------------------------------------------------------
  37  # Uncomment this option if you want to customize path to IDE logs folder. Make sure you're using forward slashes.
  38  #---------------------------------------------------------------------
  39  # idea.log.path=${idea.system.path}/log
  40 +idea.log.path=${rubymine.cache.dir}/log
  41
  42  #---------------------------------------------------------------------
  43  # Maximum file size (kilobytes) IDE should provide code assistance for.