Hi! On Thu, Aug 05, 1999 at 03:36:03PM +0200, Andreas Schwab wrote: > Everytime when you want to shorten $HOME to "~". In that case, either add -L to the options for ls, or add '/'. AFAIR, the latter doesn't help for MiNT (it needs '/.'), but with Linux, this is no problem. Furthermore, it's just ls that is really influenced by this. A cd will wirk flawlessly, as will any access to files/folders inside '~'. So, you still think that this (IMO minor) problem is worse than having 5000 user directories on one filesystem (here at the HRZ, the number is actually > 10000)? Besides, the discussion is getting quite off-topic, so it seems better to either stop it or switch to private mail ... Ciao Thomas -- Thomas Binder (Gryf @ IRCNet) gryf@hrzpub.tu-darmstadt.de PGP-key available on request! binder@rbg.informatik.tu-darmstadt.de Vote against SPAM: http://www.politik-digital.de/spam/
Attachment:
pgpYv3cNXJMsT.pgp
Description: PGP signature