Message-Id: <m10k1Xf-0006NpC@galjas.cs.vu.nl>
Date:     Wed, 19 May 99 10:17:31 MET DST
From: Michel de Ruiter  <mdruiter AT cs DOT vu DOT nl>
To: djgpp-workers AT delorie DOT com
Subject:  Re:  DSM/scripting spec, version 0.1
Reply-To: djgpp-workers AT delorie DOT com

In your letter dated Tue, 18 May 1999 20:15:28 +0100, you wrote:
> Is there any consensus on storing configuration files in $DJDIR/etc? In my
> experience with DJGPP so far the configuration files have either been in
> $HOME or some other directory specified by environment variable.

Most configuration files go in $HOME (which is $DJDIR/share in my
case), other files go in $DJDIR/share/package/. At least, that's what
I have seen. I think it would be a good idea to have some standard.

Groente, Michel.