jEditでGroovyコーディングするための各種設定

2019-09-18Groovy,jEdit

jEdit で Groovy のソースをコーディングするための各種設定について、 Groovy - JEdit Plugin に書かれていたので設定してみた。

基本的にはこの英文を解釈して進めていけばいいのだが、

「Console Commando Plugin」 の設定内容について、一点詰まってしまったのでメモしておく。

Instructions:

  1. Install Console plugin in jEdit.
  2. Copy the attachment on this wiki: groovy.xml into your $HOME/.jedit/console/commando/groovy.xml
    (NOTE: I hardcoded my groovy path. Change it if it doesn't match yours.)
  3. jEdit Menu: Plugins>Console>Regen menu.
  4. jEdit Menu: Plugins>Plugin Options..., On left pick

とある。

2 の「 このwikiのgroovy.xml を、 $HOME/.jedit/console/commando/groovy.xml にコピーしてね」が曲者で、 このwikiのgroovy.xml ていうのがどこにもない。

いろいろ探し回って、以下のサイトのxmlの内容を元に groovy.xml を作成すればＯＫ。

ひとこと

Groovyのサイトの内容って、本当はどこか別のサイトの内容を引用しているのかな？？？

2019-09-18Groovy,jEdit