Mario Mommer <mommer at igpm.rwth-aachen.de> writes: > Frankly, I don't know. What is it you dislike about dots? Linux (and Unix in general, I suspect) does not like it. I think we can force it but I'm suspecting it will blow up somewhere. Actually, I can't even seem to force my Debian here, even with --force-badname. Erik.