[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[debian-users:38843] Re: dejagnuの設定ファイルsite.expについて



永松です。
磯部様、レスありがとうございます。

>試しに dejagnu をインストールしてみたら、
>Edit the master configuration file, /etc/dejagnu/site.exp, if needed
>というメッセージが出ましたが...

そのメッセージは見ましたし、dpkg-reconfigureも試しました。同様の結果で
したが、、、

>/usr/share/dejagnu の下にいろいろファイルがあるみたいですよ

ここのファイルも見ましたし、dejagnu-docをインストールしドキュメントも
読みましたが、どのファイルを指定するのか。分からず困っています。
試しに
/usr/share/dejagnu/baseboards/unix.exp
/usr/share/dejagnu/config/unix.exp

などを/etc/dejagnu/site.expとrenameしてコピーしてみたりしましたがダメ
でした。その後、これは全く意味の無いことであるのは分かったのですが。

dejagnuではグローバルなsite.expとローカルなsite.expを指定できるような
のですが今考えているのはローカルなsite.expについてになります。
どなたか、ご存知の方がいらっしゃれば後教授ください。お願いします。

-- 
//////////////////////////////////////////////////////////////////////////

 関西学院大学 理学部 学部4年 石浦研究室

   永松 祐二  <Yuji Nagamatsu>

  Mail: scbc0038@xxxxxxxxxxxxxxxxx
  URI : http://colors.myhome.cx

///////////////////////////////////////////////////////////////////////////