might it be more friendly to tab'ers to rename the dir base-doc instead
of doc-base
On Thu, 2002-08-29 at 02:01, Oliver Elphick wrote:
On Mon, 2002-08-26 at 23:11, Giorgio Mandolfo wrote:
...
I am trying not to use exclusively the simbolic link to /usr/share/doc/
but to look directly to
might it be more friendly to tab'ers to rename the dir base-doc instead
of doc-base
That seems like overkill. Just do something like
zstyle ':completion:*' ignored-patterns 'doc-base'
that just solves a single instance, most people including me are not
experts on this, and just want it to work, while I get around it by
adding a '/' at the end of doc others might be just very annoyed.
On Mon, 2002-09-02 at 14:25, Clint Adams wrote:
might it be more friendly to tab'ers to
On 2 Sep 2002, Shaya Potter wrote:
while I get around it by
adding a '/' at the end of doc others might be just very annoyed.
Hear, hear!
Try teaching a lab. full of newbies how to access local documentation via a
browser, and see just *how* annoyed they can get.
--
Martin Wheeler -
On Mon, 2002-08-26 at 23:11, Giorgio Mandolfo wrote:
...
I am trying not to use exclusively the simbolic link to /usr/share/doc/
but to look directly to the new folder. Well, I there is a (very)
simple and boring fact: the tab completion locks because there is
/usr/share/doc-base/ too.
I
Giorgio Mandolfo wrote:
Hi everybody.
This may be quite stupid or frivolous. :-)
I have noticed the migration of the extra documentation files from
/usr/doc/ to /usr/share/doc/ (as also describes the Debian Policy
chapter 13.3).
I am trying not to use exclusively the simbolic link to
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
On Tue, Aug 27, 2002 at 10:48:13AM +0200, Michael Piefel wrote:
Perhaps I should use /usr/doc/ instead. Even shorter...
I have been a happy man since I made a /doc symlink.
Richard Braakman
Hi everybody.
This may be quite stupid or frivolous. :-)
I have noticed the migration of the extra documentation files from
/usr/doc/ to /usr/share/doc/ (as also describes the Debian Policy
chapter 13.3).
I am trying not to use exclusively the simbolic link to /usr/share/doc/
but to look
9 matches
Mail list logo