dolfin team mailing list archive

[Johannes Ring <johannr@xxxxxxxxx>]

On Wed, Oct 31, 2012 at 7:07 AM, Anders Logg <logg@xxxxxxxxx> wrote:
> On Wed, Oct 31, 2012 at 05:47:50AM +0000, Garth N. Wells wrote:
>>    On Tuesday, 30 October 2012, Anders Logg wrote:
>>
>>      You may be right. It's a config file for how to build against
>>      DOLFIN,
>>      not for configuring DOLFIN.
>>
>>    Not even. It's a helper file for those who happen to use bash.Â
>>
>>    I think prefix/etc is completely wrong and I would be surprised if
>>    having a helper script for bash users in
>>
>>    Â  Â /usr/etc
>>
>>    is acceptable in a Debian package.
>
> Maybe not. We can change it.

dolfin.conf is not needed in a Debian package and will be left out
whether it is installed in /etc or in /usr/share/dolfin. It is not
part of the package today either.

Johannes