Re: Migration to /usr/share/doc

[Michael Piefel <piefel@debian.org>]

Am 27.08.02 um 09:41:50 schrieb Yenar Calentaure:
> Just hit <tab, slash> instead of tab, one keystroke isn't THAT much :). 
> Renameing the directory could solve your problem, but is it worth one 
> keystroke per typing /usr/share/doc/whatever?

Yes, it is worth it. I often use docs, I often use the completion, I'm
always a bit annoyed I have to press one more key.

Perhaps I should use /usr/doc/ instead. Even shorter...

Bye,
    Mike

-- 
|=| Michael Piefel
|=| Humboldt-Universität zu Berlin
|=| Tel. (+49 30) 2093 3831