[Dune] dune link auf dune.

[Thimo Neubauer]

On Tue, Oct 25, 2005 at 11:41:25AM +0200, Robert Kloefkorn wrote:
> Bernard Haasdonk wrote:
> > Hi Robert,
> > 
> > ich glaube, der bewirkt, dass man beim --with-dune nicht nur $HOME
> > sondern auch $HOME/dune als Pfad angeben kann. Bei den anderen
> > Pfadangaben wird ja immer explizit der komplette Verzeichnisname
> > verlangt, daher ist das etwas intuitiver und homogener im Gebrauch der
> > --with-albert --with-grape, etc.
> 
> Hmm, dann sollten wir uns auf eine Variante festlegen, eben die üblich,
> meine ich. (Auch wenn das bedeutet, das dann ein paar dune/ mit " "
> replaced werden müssen.

Davon will ich abraten: entweder eine globale Konvention, wie die
Header adressiert werden oder man bekommt eine Situation, in der die
Header manchmal gefunden werden und manchmal nicht. Genau das hatten
wir mit den Dune-Tests mal erlebt...

Gruss
  Thimo