Re: Directory name of aux is invalid

[John Mandereau]

Le lundi 05 janvier 2009 à 15:32 +0000, Trevor Daniels a écrit :
> I have a git problem with your recent commit 
> c553fc2251b508befebd1dc297c4baa898463f34 to clean up the build scripts.

> The reason is that aux is a reserved word in Windows, along with a few 
> others like com, lpt1, nul, prn, Lpt4, and no directory can be given these 
> names.  The effect is that I can't update my git repository from 
> origin/master, which in turn means I can't push.

Aargh.  This commit also implies creation of scripts/aux/.  I don't
enjoy so much saying this, but the limitation we hit is worthwhile:
Windows sucks, I wish there were only Unix OSes. :-)


> Do you have any suggestions to get round this?

What about replacing aux/ with auxiliar/ or helper/?  "auxiliar" is the
Spanish for "to aid", it's only one character shorter than "auxiliary",
but it's nicer than ugly abbreviations longer than "aux" like "auxi" or
"auxil".  Well, this is kind of urgent for you Trevor, so let's not
discuss too long: I'm renaming "aux" to "auxiliar".

Cheers,
John