[JM:02832] Re: [POST:DP] GNU dejagnu 1.6.3 dejagnu-help.1

Back to archive index
ribbon jm****@ribbo*****
2021年 8月 6日 (金) 21:58:13 JST


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



linuxjm-discuss メーリングリストの案内
Back to archive index