@example
$ @kbd{gpg --verify yacasl2.tar.xz.asc}
-gpg: Signature made Sat Oct 27 02:17:16 2012 JST using RSA key ID 25B62DD1
+gpg: Signature made Sat Oct 27 02:17:16 2012 JST using RSA key ID 7F593ED86D88E1D5
gpg: Can't check signature: public key not found
-$ @kbd{gpg --recv-keys 25B62DD1}
-gpg: requesting key 25B62DD1 from hkp server keys.gnupg.net
-gpg: key 25B62DD1: public key "j8takagi <j8takagi@@nifty.com>" imported
+$ @kbd{gpg --recv-keys 7F593ED86D88E1D5}
+gpg: requesting key 7F593ED86D88E1D5 from hkp server keys.gnupg.net
+gpg: key 7F593ED86D88E1D5: public key "j8takagi <j8takagi@@nifty.com>" imported
gpg: Total number processed: 1
gpg: imported: 1 (RSA: 1)
-$ @kbd{gpg --lsign-key 25B62DD1}
+$ @kbd{gpg --lsign-key 7F593ED86D88E1D5}
-pub 2048R/25B62DD1 created: 2012-09-29 expires: never usage: SC
+pub 2048R/7F593ED86D88E1D5 created: 2012-09-29 expires: never usage: SC
trust: unknown validity: full
sub 2048R/92E25C29 created: 2012-09-29 expires: never usage: E
[ full ] (1). j8takagi <j8takagi@@nifty.com>
-pub 2048R/25B62DD1 created: 2012-09-29 expires: never usage: SC
+pub 2048R/7F593ED86D88E1D5 created: 2012-09-29 expires: never usage: SC
trust: unknown validity: full
Primary key fingerprint: ...
<input password> @kbd{password}
-$ @kbd{gpg --verify yacasl2.tar.xz.asc}
-gpg: Signature made Sat Oct 27 02:17:16 2012 JST using RSA key ID 25B62DD1
-gpg: checking the trustdb
-gpg: 3 marginal(s) needed, 1 complete(s) needed, PGP trust model
-gpg: depth: 0 valid: 1 signed: 4 trust: 0-, 0q, 0n, 0m, 0f, 1u
-gpg: depth: 1 valid: 4 signed: 0 trust: 4-, 0q, 0n, 0m, 0f, 0u
+$ @kbd{gpg --verify yacasl2.tar.gz.asc}
+gpg: assuming signed data in 'yacasl2.tar.gz'
+gpg: Signature made Sun May 31 00:06:26 2026 JST
+gpg: using EDDSA key 77EC282A2F7317EBFF7BFD067F593ED86D88E1D5
gpg: Good signature from "j8takagi <j8takagi@@nifty.com>"
@end example
@end example
@node Build, Simple Test, Expand, install
-@section @file{casl2} @file{comet2} @file{dumpword}のビルド
+@section ビルド
-展開したら、@command{make}コマンドで@file{casl2} @file{comet2} @file{dumpword}をビルドします。
+展開したら、@command{make}コマンドを実行してビルドします。
+YACASL2のコマンド実行ファイルである@command{casl2} @command{comet2} @command{dumpword} @command{casl2rev} @command{commet2monitor}が生成されます。
@example
$ @kbd{cd yacasl2}
@node Install, Environment, Detail Test, install
@section インストール
-ビルドが成功したら、@command{make install}コマンドで必要なファイルをインストールできます。
-初期設定では、ホームディレクトリー以下にYACASL2のファイルがインストールされます。
+YACASL2のコマンド実行ファイルはビルド後、@command{make install}コマンドでインストールできます。インストール先は初期設定では、@file{~/bin}ディレクトリーです。
@example
$ @kbd{make install}
@end example
-コマンド実行時にオプションを指定することで、インストール先のディレクトリーを変更できます。
-例えば、@file{/usr/local}以下にファイルをインストールするには、
-次のようにコマンドを実行します。
+インストール先を変更するには、@file{prefix}などのオプションを指定します。
+例えば@file{/usr/local}ディレクトリーにインストールするには、次のようにコマンドを実行します。
@example
$ @kbd{sudo make install prefix=/usr/local}
@node Environment, , Install, install
@section 環境変数の設定
-環境変数@code{PATH}や@code{CASL2LIB}を設定することで、YACASL2が使いやすくなります。環境変数は、使っているシェルを確認してから設定します。
+環境変数@code{PATH}や@code{INFOPATH}を設定することで、YACASL2が使いやすくなります。
-@unnumberedsubsec シェルの確認
+@subsection @code{PATH}の設定
-環境変数の設定方法は使っているシェルによって異なります。シェルは、次のコマンドで確認できます。
+@code{PATH}にYACASL2の実行ファイルのインストール先が含まれている場合は、ディレクトリーの指定を省略して@command{casl2}などの実行ファイル名を指定できます。@code{PATH}は、次のコマンドで確認できます。
@example
-$ @kbd{echo $SHELL}
-/bin/bash
+$ @kbd{echo $PATH}
@end example
-現在もっとも多く使われているシェルは、Bashでしょう。以下、Bashでの設定方法を説明します。
-
-@subsection @code{PATH}の設定
-
-@code{PATH}にYACASL2の実行ファイルのインストール先を追加すると、ディレクトリーの指定を省略して@command{casl2} @command{comet2} @command{dumpword}を実行できます。例えば、初期設定のまま実行ファイルを@file{~/bin}にインストールしたときは、次のコマンドで設定できます。
+YACASL2のインストール先の初期設定である@file{~/bin}ディレクトリーは、OSインストール時に@code{PATH}に含まれている場合もあります。含まれていない場合は、次のコマンドで@code{PATH}に追加できます。
@example
-$ @kbd{PATH=$PATH:~/bin && export PATH}
+$ @kbd{PATH=$HOME/bin:$PATH; export PATH}
@end example
-環境変数の設定は、シェルの初期設定ファイルに追加することでログインしたあと自動的に反映されるようになります。Bashでは@file{~/.bashrc}が初期設定ファイルです。次のコマンドで追加できます。
+@file{~/.profile}や@file{~/.bashrc}などの初期化ファイルに@code{PATH}への追加を設定しておけば、YACASL2のコマンド実行時に常にディレクトリーの指定を省略できます。
+次は、@code{$PATH}に@code{~/bin}が二重に追加されることを防ぐ書き方です。
@example
-$ @kbd{echo ’PATH=$PATH:~/bin && export PATH’ >>~/.bashrc}
+case ":$@{PATH@}:" in
+ *":$@{HOME@}/bin:"*) ;;
+ *) export PATH="$@{HOME@}/bin:$@{PATH@}" ;;
+esac
@end example
+
@subsection @code{INFOPATH}の設定
-@code{INFOPATH}にYACASL2のInfoファイルをインストールしたディレクトリーを追加すると、ディレクトリーの指定を省略して@command{casl2} @command{comet2} @command{dumpword}を実行できます。例えば、初期設定のままInfoファイルを@file{~/share/info}にインストールしたときは、次のコマンドで設定できます。
+環境変数@code{INFOPATH}とInfoが適切に設定されていれば、次のコマンドでYACASL2のInfoを表示できます。
+
+@example
+$ @kbd{info yacasl2}
+@end example
+
+@code{INFOPATH}にYACASL2のInfoファイルをインストールしたディレクトリーの追加は、次のコマンドでできます。なお、YACASL2のInfoファイルインストール先の初期設定は、@file{~/.local/share/info}です。
@example
-$ @kbd{INFOPATH=$INFOPATH:~/share/info && export INFOPATH}
+$ @kbd{INFOPATH=$HOME/.local/share/info:$INFOPATH; export INFOPATH}
@end example
-@file{~/.bashrc}には次のコマンドで追加できます。
+@file{~/.profile}や@file{~/.bashrc}などの初期化ファイルに@code{INFOPATH}への追加を設定しておけば、常にYACASL2のInfoを表示できます。
+次は、@code{$INFOPATH}に@code{~/.local/share/info}が二重に追加されることを防ぐ書き方です。
@example
-$ @kbd{echo 'INFOPATH=$INFOPATH:~/share/info && export INFOPATH' >>~/.bashrc}
+case ":$@{INFOPATH@}:" in
+ *":$@{HOME@}/.local/share/info:"*) ;;
+ *) export INFOPATH="$@{HOME@}/.local/share/info:$@{INFOPATH@}" ;;
+esac
@end example
@bye
2.2.1 GnuPG分離署名での検証
2.2.2 MD5ハッシュ値での検証
2.3 YACASL2ファイルの展開
-2.4 'casl2' 'comet2' 'dumpword'のビルド
+2.4 ビルド
2.5 'casl2'の実行テスト
2.6 詳細なテスト
2.7 インストール
2.8 環境変数の設定
- シェルの確認
2.8.1 'PATH'の設定
2.8.2 'INFOPATH'の設定
ストールされ、自分の秘密鍵と公開鍵のペアが作成されている必要があります。
$ gpg --verify yacasl2.tar.xz.asc
- gpg: Signature made Sat Oct 27 02:17:16 2012 JST using RSA key ID 25B62DD1
+ gpg: Signature made Sat Oct 27 02:17:16 2012 JST using RSA key ID 7F593ED86D88E1D5
gpg: Can't check signature: public key not found
- $ gpg --recv-keys 25B62DD1
- gpg: requesting key 25B62DD1 from hkp server keys.gnupg.net
- gpg: key 25B62DD1: public key "j8takagi <j8takagi@nifty.com>" imported
+ $ gpg --recv-keys 7F593ED86D88E1D5
+ gpg: requesting key 7F593ED86D88E1D5 from hkp server keys.gnupg.net
+ gpg: key 7F593ED86D88E1D5: public key "j8takagi <j8takagi@nifty.com>" imported
gpg: Total number processed: 1
gpg: imported: 1 (RSA: 1)
- $ gpg --lsign-key 25B62DD1
+ $ gpg --lsign-key 7F593ED86D88E1D5
- pub 2048R/25B62DD1 created: 2012-09-29 expires: never usage: SC
+ pub 2048R/7F593ED86D88E1D5 created: 2012-09-29 expires: never usage: SC
trust: unknown validity: full
sub 2048R/92E25C29 created: 2012-09-29 expires: never usage: E
[ full ] (1). j8takagi <j8takagi@nifty.com>
- pub 2048R/25B62DD1 created: 2012-09-29 expires: never usage: SC
+ pub 2048R/7F593ED86D88E1D5 created: 2012-09-29 expires: never usage: SC
trust: unknown validity: full
Primary key fingerprint: ...
<input password> password
- $ gpg --verify yacasl2.tar.xz.asc
- gpg: Signature made Sat Oct 27 02:17:16 2012 JST using RSA key ID 25B62DD1
- gpg: checking the trustdb
- gpg: 3 marginal(s) needed, 1 complete(s) needed, PGP trust model
- gpg: depth: 0 valid: 1 signed: 4 trust: 0-, 0q, 0n, 0m, 0f, 1u
- gpg: depth: 1 valid: 4 signed: 0 trust: 4-, 0q, 0n, 0m, 0f, 0u
+ $ gpg --verify yacasl2.tar.gz.asc
+ gpg: assuming signed data in 'yacasl2.tar.gz'
+ gpg: Signature made Sun May 31 00:06:26 2026 JST
+ gpg: using EDDSA key 77EC282A2F7317EBFF7BFD067F593ED86D88E1D5
gpg: Good signature from "j8takagi <j8takagi@nifty.com>"
2.2.2 MD5ハッシュ値での検証
$ tar xvzf yacasl2.tar.gz
-2.4 'casl2' 'comet2' 'dumpword'のビルド
-=======================================
+2.4 ビルド
+==========
- 展開したら、'make'コマンドで'casl2' 'comet2' 'dumpword'をビルドします。
+ 展開したら、'make'コマンドを実行してビルドします。 YACASL2のコマンド実
+行ファイルである'casl2' 'comet2' 'dumpword' 'casl2rev' 'commet2monitor'が
+生成されます。
$ cd yacasl2
$ make
2.7 インストール
================
- ビルドが成功したら、'make install'コマンドで必要なファイルをインストー
-ã\83«ã\81§ã\81\8dã\81¾ã\81\99ã\80\82 å\88\9dæ\9c\9fè¨å®\9aã\81§ã\81¯ã\80\81ã\83\9bã\83¼ã\83 ã\83\87ã\82£ã\83¬ã\82¯ã\83\88ã\83ªã\83¼ä»¥ä¸\8bã\81«YACASL2ã\81®ã\83\95ã\82¡ã\82¤ã\83«ã\81\8c
-ã\82¤ã\83³ã\82¹ã\83\88ã\83¼ã\83«ã\81\95ã\82\8cã\81¾ã\81\99ã\80\82
+ YACASL2のコマンド実行ファイルはビルド後、'make install'コマンドでインス
+ã\83\88ã\83¼ã\83«ã\81§ã\81\8dã\81¾ã\81\99ã\80\82ã\82¤ã\83³ã\82¹ã\83\88ã\83¼ã\83«å\85\88ã\81¯å\88\9dæ\9c\9fè¨å®\9aã\81§ã\81¯ã\80\81'~/bin'ã\83\87ã\82£ã\83¬ã\82¯ã\83\88ã\83ªã\83¼ã\81§ã\81\99
+。
$ make install
- ã\82³ã\83\9eã\83³ã\83\89å®\9fè¡\8cæ\99\82ã\81«ã\82ªã\83\97ã\82·ã\83§ã\83³ã\82\92æ\8c\87å®\9aã\81\99ã\82\8bã\81\93ã\81¨ã\81§ã\80\81ã\82¤ã\83³ã\82¹ã\83\88ã\83¼ã\83«å\85\88ã\81®ã\83\87ã\82£ã\83¬ã\82¯ã\83\88
-ã\83ªã\83¼ã\82\92å¤\89æ\9b´ã\81§ã\81\8dã\81¾ã\81\99ã\80\82 ä¾\8bã\81\88ã\81°ã\80\81'/usr/local'以ä¸\8bã\81«ã\83\95ã\82¡ã\82¤ã\83«ã\82\92ã\82¤ã\83³ã\82¹ã\83\88ã\83¼ã\83«ã\81\99
-ã\82\8bã\81«ã\81¯ã\80\81 次ã\81®ã\82\88ã\81\86ã\81«ã\82³ã\83\9eã\83³ã\83\89ã\82\92å®\9fè¡\8cã\81\97ã\81¾ã\81\99ã\80\82
+ ã\82¤ã\83³ã\82¹ã\83\88ã\83¼ã\83«å\85\88ã\82\92å¤\89æ\9b´ã\81\99ã\82\8bã\81«ã\81¯ã\80\81'prefix'ã\81ªã\81©ã\81®ã\82ªã\83\97ã\82·ã\83§ã\83³ã\82\92æ\8c\87å®\9aã\81\97ã\81¾ã\81\99ã\80\82 ä¾\8b
+ã\81\88ã\81°'/usr/local'ã\83\87ã\82£ã\83¬ã\82¯ã\83\88ã\83ªã\83¼ã\81«ã\82¤ã\83³ã\82¹ã\83\88ã\83¼ã\83«ã\81\99ã\82\8bã\81«ã\81¯ã\80\81次ã\81®ã\82\88ã\81\86ã\81«ã\82³ã\83\9eã\83³ã\83\89
+を実行します。
$ sudo make install prefix=/usr/local
2.8 環境変数の設定
==================
- 環境変数'PATH'や'CASL2LIB'を設定することで、YACASL2が使いやすくなります
-。環境変数は、使っているシェルを確認してから設定します。
-
-シェルの確認
-------------
-
- 環境変数の設定方法は使っているシェルによって異なります。シェルは、次の
-コマンドで確認できます。
-
- $ echo $SHELL
- /bin/bash
-
- 現在もっとも多く使われているシェルは、Bashでしょう。以下、Bashでの設定
-方法を説明します。
+ 環境変数'PATH'や'INFOPATH'を設定することで、YACASL2が使いやすくなります
+。
2.8.1 'PATH'の設定
------------------
- 'PATH'にYACASL2の実行ファイルのインストール先を追加すると、ディレクトリ
-ーの指定を省略して'casl2' 'comet2' 'dumpword'を実行できます。例えば、初
-期設定のまま実行ファイルを'~/bin'にインストールしたときは、次のコマンド
-で設定できます。
+ 'PATH'にYACASL2の実行ファイルのインストール先が含まれている場合は、ディ
+レクトリーの指定を省略して'casl2'などの実行ファイル名を指定できます。
+'PATH'は、次のコマンドで確認できます。
- $ PATH=$PATH:~/bin && export PATH
+ $ echo $PATH
- 環境変数の設定は、シェルの初期設定ファイルに追加することでログインした
-ã\81\82ã\81¨è\87ªå\8b\95ç\9a\84ã\81«å\8f\8dæ\98 ã\81\95ã\82\8cã\82\8bã\82\88ã\81\86ã\81«ã\81ªã\82\8aã\81¾ã\81\99ã\80\82Bashã\81§ã\81¯'~/.bashrc'ã\81\8cå\88\9dæ\9c\9fè¨å®\9aã\83\95ã\82¡
-ã\82¤ã\83«ã\81§ã\81\99ã\80\82次ã\81®ã\82³ã\83\9eã\83³ã\83\89ã\81§追加できます。
+ YACASL2のインストール先の初期設定である'~/bin'ディレクトリーは、OSイン
+ã\82¹ã\83\88ã\83¼ã\83«æ\99\82ã\81«'PATH'ã\81«å\90«ã\81¾ã\82\8cã\81¦ã\81\84ã\82\8bå ´å\90\88ã\82\82ã\81\82ã\82\8aã\81¾ã\81\99ã\80\82å\90«ã\81¾ã\82\8cã\81¦ã\81\84ã\81ªã\81\84å ´å\90\88ã\81¯ã\80\81次
+ã\81®ã\82³ã\83\9eã\83³ã\83\89ã\81§'PATH'ã\81«追加できます。
- $ echo ’PATH=$PATH:~/bin && export PATH’ >>~/.bashrc
+ $ PATH=$HOME/bin:$PATH; export PATH
+
+ '~/.profile'や'~/.bashrc'などの初期化ファイルに'PATH'への追加を設定して
+おけば、YACASL2のコマンド実行時に常にディレクトリーの指定を省略できます
+。 次は、'$PATH'に'~/bin'が二重に追加されることを防ぐ書き方です。
+
+ case ":${PATH}:" in
+ *":${HOME}/bin:"*) ;;
+ *) export PATH="${HOME}/bin:${PATH}" ;;
+ esac
2.8.2 'INFOPATH'の設定
----------------------
- 'INFOPATH'にYACASL2のInfoファイルをインストールしたディレクトリーを追加
-すると、ディレクトリーの指定を省略して'casl2' 'comet2' 'dumpword'を実行
-できます。例えば、初期設定のままInfoファイルを'~/share/info'にインストー
-ルしたときは、次のコマンドで設定できます。
+ 環境変数'INFOPATH'とInfoが適切に設定されていれば、次のコマンドで
+YACASL2のInfoを表示できます。
+
+ $ info yacasl2
+
+ 'INFOPATH'にYACASL2のInfoファイルをインストールしたディレクトリーの追加
+は、次のコマンドでできます。なお、YACASL2のInfoファイルインストール先の
+初期設定は、'~/.local/share/info'です。
- $ INFOPATH=$INFOPATH:~/share/info && export INFOPATH
+ $ INFOPATH=$HOME/.local/share/info:$INFOPATH; export INFOPATH
- '~/.bashrc'には次のコマンドで追加できます。
+ '~/.profile'や'~/.bashrc'などの初期化ファイルに'INFOPATH'への追加を設定
+しておけば、常にYACASL2のInfoを表示できます。 次は、'$INFOPATH'に
+'~/.local/share/info'が二重に追加されることを防ぐ書き方です。
- $ echo 'INFOPATH=$INFOPATH:~/share/info && export INFOPATH' >>~/.bashrc
+ case ":${INFOPATH}:" in
+ *":${HOME}/.local/share/info:"*) ;;
+ *) export INFOPATH="${HOME}/.local/share/info:${INFOPATH}" ;;
+ esac