linux - $PATH から特定のディレクトリを除外する

Question

私のシステムには複数の MPI バリエーションがあります。それぞれが特定のアプリケーションのコンパイルに使用されます。$PATH から特定のディレクトリを除外して、対応する MPI でアプリケーションの実行をラップするスクリプトを探しています。そうする簡単な方法はありますか？

Answer 1

おそらく、次のようなものです。

with-excluded-path () {      
    echo "$PATH" | sed "s,$1:,,g"
}

or 

with-excluded-path () {
    echo "$PATH" | awk -vORS=":" -vRS=":" '$1 == "'$1'" { next }; {print $1}'
}

PATH=$(with-excluded-path "/path/to/exclude") /bin/application

または、必要な MPI パスを PATH の先頭に追加するだけです。

export PATH="/opt/the/mpi/i/want:$PATH"