On Fri, Aug 06, 2021 at 05:34:32PM +0900, matsuand wrote: > > > ファイルのフルネーム->完全なファイル名 > > まず上のご指摘ですが、割と難しく感じるところです。 > そもそも dejagnu help <command1> <command2>... > といったように、複数コマンドの指定が可能で、こうしたときに > <command1>, <command2> という文字列がハイフンで > 連結されて、なおかつ頭に "dejagnu-" というプレフィックスが > つき、つまり > 「dejagnu-command1-command2-...」 > というファイル名が作り出されます。それを full file name > と表現しているようです。man ページの文面からは、 > このようなことは全くわかりません。info からわかります。 > 実はこれまで info 読んでいませんでしたので、 > 私もご指摘を受け、今知ったところです :) > > 今のところは、他に良い案がなければ、 > 「ファイルのフルネーム」でいこうかと思いますが。 取りあえず、他に良い案がなければそれで良いと思います。 ribbon