タグ

2010年7月29日のブックマーク (1件)

  • Eclipse環境(Java)の設定の手間を省く - imaginatorの雑記帳

    モダン(かもしれない)なEclipse環境(Java)の構築方法にEclipseの設定手順が載っているけど、ワークスペースを新しく作ったりすると、一から設定し直しになるので、Eclipseの設定のデフォルト値を変更する方法を参考にデフォルト値を変更しておくと便利。 まずはeclipse.iniの変更。-vmargsより前に、以下の内容を挿入する。 -pluginCustomization plugin_customization.ini 次に、plugin_customization.iniというファイルをeclipse.iniと同じ場所に作成する。ファイルの内容は以下の通り。(id:wyukawaさんの設定1〜9をデフォルトにする場合) # 1. 行番号と空白文字の表示 org.eclipse.ui.editors/lineNumberRuler=true org.eclipse.ui.