☰

ユーザー入力に基づいてmanpathにディレクトリを追加する

tag-icon • tag-icon shell-script directory-structure
ユーザー入力に基づいてmanpathにディレクトリを追加する

使用: Ubuntu 20.04.1 LTS エディタ: Nano

私はユーザーが利用できる一連のオプションを含むメニューを必要とする大学のための小さなシェルスクリプトを書いています。オプションの1つは、「ユーザー入力に基づいて手動パスにディレクトリを追加する」です。与えられた資料に基づいて正解があると思いましたが、出ませんか？

現在のManpathの場所は「/usr/bin/manpath」です。

これは私のコードです。

two() {
read -p"Please enter a directory to be added to the MANPATH: " dir
manpath=/usr/share/man$dir:$manpath; export manpath
#TO SHOW IT HAS WORKED 
which manpath
}

どんな助けでも大変感謝します。

答え1

manpathは注文するman（フラグなしで実行されます）そのページを見つけることができるパスのみを表示します。つまり、コマンドにパスを追加することはできませんmanpath。

/foobar既存のパス（Debian 10）にパス（この場合はディレクトリ）を追加する方法は次のとおりです。

# Original paths
manpath
/usr/local/man:/usr/local/share/man:/usr/share/man

# Adding a path
export MANPATH=$(manpath):/foobar

# Result
manpath
manpath: warning: $MANPATH set, ignoring /etc/manpath.config
/usr/local/man:/usr/local/share/man:/usr/share/man:/foobar

これで状況はもっと明確になりますか？

以下を実行してくださいman manpath。

DESCRIPTION
       If $MANPATH is set, manpath will simply display its contents and issue a warning.

関連情報