infoコマンドの出力リダイレクト

infoコマンドの出力リダイレクト

info bash > file.infofile.infoUbuntuからリダイレクトすると、次のエラーのみを含むファイルが受信されました。

info: No menu item 'bash' in node '(dir)Top'

info bash -wshowを使用して、情報ページがどこにあるかを確認します。

*manpages*

bash情報ページも見つかりませ/usr/share/info んが/usr/share/man/man1

しかし、試してみましたinfo find > file.info(findコマンドの情報ページは/usr/share/infoの下にあります)、成功しました。

また、info bash非常にうまく動作します。

マイシステム -Ubuntu 20.04.2 LTSカーネルを含む5.11.0-25-generic

助けてください。

答え1

DebianやUbuntuなどの派生製品では、bashマニュアルはデフォルトでインストールされていないか、この形式でのみインストールされます(manマニュアルが利用できないinfo場合はマニュアルページの表示に置き換えます)。このサイズのマニュアルでは不可能です。ほとんど利用できません。info

bash-docまずパッケージをインストールする必要があります。

apt install bash-doc

(のようにroot)。

これはほとんどのマニュアルの形式でもありますinfo。たとえば、これらの大規模ソフトウェアのマニュアルをより便利な形式で入手するには、、、、zsh-docgdb-docインストールglibc-docするgcc-doc必要があります。gawk-doc

より一般的には、ソフトウェアパッケージは、man最小限の形式で文書と共に提供される。一部の文書は利用/usr/share/doc/<package-name>可能ですが、他の形式(...など)のより大きな文書もinfoパッケージhtmlに提供されます<package-name>-doc。特に、ソフトウェアが他のパッケージの依存関係でインストールされ、ユーザーがそれを直接使用しない場合は、ユーザーに文書が必ずしも必要ではないため、これは意味があります。

一部のソフトウェアライブラリでは、APIドキュメント(通常はフォーマットman)がパッケージに提供されていますが<libpackage-name>-dev(ユーザーがそのソフトウェアを開発しない限りこの情報は必要ありません)、パッケージ-docにはより豊富なフォーマット/コンテンツが含まれる場合があります。

関連情報