How to install jSpin in Linux

空気を読まずに連投です。スミマセンorz。jSpinをLinuxでインストールするドキュメントが、日本語のwebsiteでは一つも見当たらなかったので、一応メモしておきます。

[目的]
jSpinをLinuxでも動かせるようにする。

[OS]
Debian 2.6.26 amd64

[前提条件]
1. spinをインストールしている。
※spinをインストールしていない場合は、以下のサイトを参考にインストールする。
How to install free softwares in Linux: spin
2. JRE 1.5以上をインストールしている。


[インストール方法]
1. 以下のサイトの下部にあるjspin-*-*.zip (Portable zip file)をダウンロードする。
http://stwww.weizmann.ac.il/g-cs/benari/jspin/

2. 適当なフォルダ(Ex. "jspin")を作成し、そこにダウンロードしたzipを解凍する。

3. cdコマンドで作成したフォルダに移動し、"java -jar jSpin.jar"を実行。
→この時点で正常に動くはずです。

4. viまたはgeditでホームフォルダの".bashrc"を開く。
→Ex. "gedit ~/.bashrc"

5. エイリアスに、jspinの実行コマンドを追加する。
→#Alias definitions以降に、"java -jar (jspinのパス)/jSpin.jar"を記述する。
→Ex. alias jspin="java -jar ~/work/jspin/jSpin.jar"

6. 再起動し、端末から"jspin"を入力する。
→Ex. "jspin"

7. 無事にjspinが起動すればインストール完了。

以上です。

[追記 2009/05/17]
jspinのディレクトリ内にある"config.cfg"の中身を変える必要があります。
具体的には、僕の場合、以下のような内容に変更させたら直りました。
（参考サイト：http://chaos.ece.mcgill.ca/?q=jSpinLinux）

#jSpin configuration file
#Thu Sep 06 11:21:50 IDT 2007
VERIFY_OPTIONS=-a
FONT_SIZE=14
PAN_OPTIONS=-X
WIDTH=1000
INTERACTIVE_OPTIONS=-i -X
WRAP=true
SELECT_BUTTON=120
#path of "spin"
SPIN=/home/yohei/work/Spin/Src5.1.7/spin
LR_DIVIDER=400
CHECK_OPTIONS=-a -v
VERIFY_MODE=Safety
VARIABLE_WIDTH=10
MSC=false
# displayed directory when opening
SOURCE_DIRECTORY=/home/yohei/
TAB_SIZE=4
RAW=false
C_COMPILER_OPTIONS=-o pan pan.c
COMMON_OPTIONS=-g -l -p -r -s
TRAIL_OPTIONS=-t -X
MAX_DEPTH=2000
TRANSLATE_OPTIONS=-f
C_COMPILER=gcc
DOT=dot
MIN_DIVIDER=50
FONT_STYLE=0
HEIGHT=700
SINGLE_QUOTE=false
PAN=pan
RANDOM_OPTIONS=-X
FONT_FAMILY=Lucida Sans Typewriter
POLLING_DELAY=200
SELECT_TEXT=true
STATEMENT_WIDTH=18
SELECT_HEIGHT=70
PROCESS_WIDTH=7
FAIRNESS=true
MAX_STEPS=250
SELECT_NO_TEXT=10
TB_DIVIDER=500

以上です。

Tweet