WinMergeの設定をiniファイルで管理する

 WinMergeはデフォルトだと、設定はレジストリに保存されているらしい。

コンピューター\HKEY_CURRENT_USER\SOFTWARE\Thingamahoochie\WinMerge

 手軽にバックアップできないので、iniファイルで管理するようにした。

 WinMergeU.exe /? を実行するとコマンドラインオプションが表示される。その中に /inifile オプションがあった。

  1. スタートメニューからWinMergeを起動する
  2. 設定-エクスポートで、設定を “%USERPROFILE%\Documents\WinMerge\WinMerge.ini” に書き出す
  3. スタートメニューからWinMergeのプロパティを開き、リンク先の最後に /inifile “%USERPROFILE%\Documents\WinMerge\WinMerge.ini” を追加する
  4. デスクトップにWinMergeのショートカットを作成しているときは、同様に修正する
  5. タスクバーにピン止めする
  6. WinMergeを終了する
  7. ピン止めしたWinMergeを右クリックし、一覧からWinMerge を右クリックし、プロパティを選択する
  8. リンク先の最後に /inifile “%USERPROFILE%\Documents\WinMerge\WinMerge.ini” を追加する
    例:”C:\Program Files\WinMerge\WinMergeU.exe” /inifile “%USERPROFILE%\Documents\WinMerge\WinMerge.ini”
  9. タスクバーにピン止めしたWinMergeを起動する
  10. タスクバーに二つWinMergeが表示されたら古いWinMergeのピン止めを外し、新しいWinMergeをピン止めする
  11. 適当に比較を行い、色がおかしかったら、設定で配色を一旦Default以外に変え、Defaultに戻す

 7.8.は不要かもしれない

 WinMergeをバージョンアップした場合は、初回の起動前に3.からやり直す。

 ついでに、前述のBackup.batで、バックアップを行うように追加した。

@rem sakuraエディター、WinMergeの設定ファイルを保存
robocopy "%APPDATA%\sakura"                 "%WORDPRESS_BACKUP%\sakura"   /MIR /NP >> %LOGFILE% 2>&1
robocopy "%USERPROFILE%\Documents\WinMerge" "%WORDPRESS_BACKUP%\WinMerge" /MIR /NP >> %LOGFILE% 2>&1