Scratchの保存先を変更する

dkandalov/scratchに書いてあったが、設定ファイル(scratch_config.xml)のパスが違っていたので備忘録として残す。

# PhpStorm7の場合
/Users/<user_name>/Library/Preferences/WebIde70/options/scratch_config.xml

# PhpStorm8の場合
/Users/<user_name>/Library/Preferences/WebIde80/options/scratch_config.xml

Scratchを~/phpstrom_scratchに保存したい場合は、以下のように書く。

scratch_config.xml

<?xml version="1.0" encoding="UTF-8"?>
<application>
  <component name="ScratchConfig">
    <option name="defaultScratchMeaning" value="TOPMOST" />
    <option name="fullScratchNamesOrdered">
      <list>
        <option value=“scratch.txt" />
      </list>
    </option>
    <option name="lastOpenedScratch" value=“scratch.txt" />
    <option name="needMigration" value="false" />
    <!--追記-->
    <option name="scratchesFolderPath" value="$USER_HOME$/phpstorm_scratch/" />
  </component>
</application>

PhpStormを再起動すれば設定が反映されて、Scratchを新規作成すると先ほど設定したパスに保存される。