ダブルドットを含む冗長なパスを正規化する

親ディレクトリを表すダブルドットやカレントディレクトリを表すドットを含む冗長なパスをシンプルなパスに変換したいときはどうしますか？

調べたところ realpath -ms を用いることができるようです。

$ realpath -ms -- /foo/bar/../lib
/foo/lib

ただし、相対パスは、カレントディレクトリからのパスの絶対パスに変換されてしまいますので、注意です。

$ realpath -ms -- foo/bar/../lib
/home/uuu/foo/lib

その他の方法

bash の配列を用いた bash 関数を自作された方がいました。

冗長なパス foo/bar/../lib を foo/lib に変換する | 晴耕雨読
https://tex2e.github.io/blog/shell/remove-verbose-from-path

以上です。