]> j8takagi.net git repositories - yacasl2.git/commitdiff
installドキュメントの環境変数の記述を修正 v0.5p38
authorj8takagi <j8takagi@nifty.com>
Mon, 1 Jun 2026 12:05:05 +0000 (21:05 +0900)
committerj8takagi <j8takagi@nifty.com>
Mon, 1 Jun 2026 12:05:05 +0000 (21:05 +0900)
VERSION
doc/install-info.mk
doc/install.texi
doc/install.txt

diff --git a/VERSION b/VERSION
index cb095d000a2d50491d5c59be72354f086794f5c0..40ce3e98b0895290de10546441174b3d2107c47a 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-v0.5p37
+v0.5p38
index e74db9cefdc8b7014c50ed9fc3543b679e534c82..06f48f1d42fab5d19225f571c72e537ef670f583 100644 (file)
@@ -1,5 +1,5 @@
 prefix ?= ~
-infodir ?= $(prefix)/share/info
+infodir ?= $(prefix)/.local/share/info
 
 GZIP := gzip
 INSTALL := install
index 56e48f9b586220a92ad3a770249be438a7e08d5a..0021f848eb5a9cf4c6bd9327b748291bca32dda5 100644 (file)
@@ -72,23 +72,23 @@ GnuPGの@command{gpg}で圧縮ファイルを検証します。この検証を
 
 @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: ...
  
@@ -107,12 +107,10 @@ user: ".* <.*@@.*>"
 
 <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
 
@@ -135,9 +133,10 @@ $ @kbd{tar xvzf yacasl2.tar.gz}
 @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}
@@ -199,16 +198,14 @@ All tests are succeded.
 @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}
@@ -226,45 +223,55 @@ $ @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
index c8260038367e5a97e7abcab8eda8339990e65b5e..a604e04eadaabfeb5e1f946de23e1bd50d161761 100644 (file)
@@ -5,12 +5,11 @@
   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'の設定
 
@@ -48,23 +47,23 @@ Tools」に含まれます。
 ストールされ、自分の秘密鍵と公開鍵のペアが作成されている必要があります。
 
      $ 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: ...
 
@@ -83,12 +82,10 @@ Tools」に含まれます。
 
      <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ハッシュ値での検証
@@ -106,10 +103,12 @@ Tools」に含まれます。
 
      $ 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
@@ -165,15 +164,15 @@ Tools」に含まれます。
 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
 
@@ -188,48 +187,53 @@ INFODIR        infoファイルのインストール先         '$prefix/share/i
 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