[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
///////////////////////////////////////////////////////////////////////////