そういえばシルバーウィークに入る前に同僚から質問を受けていたのだった（そのときは答えられなかった）。RubyMine で検索対象から特定のディレクトリを除外する設定をメモしておく。 おそらく WebStorm でも PhpStorm でも JetBrains 製の IDE では共通だ…