[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: (info browser) Should any default directories be used when INFOPATH
|
From: |
Gavin Smith |
|
Subject: |
Re: (info browser) Should any default directories be used when INFOPATH is set? |
|
Date: |
Sun, 6 Apr 2014 22:28:45 +0100 |
On Fri, Apr 4, 2014 at 11:10 PM, Karl Berry <address@hidden> wrote:
> Here's another idea: a command-line option (for convenience in the
> tests) and .infokey variable (for convenience for users), e.g.,
> --infopath-no-default
> infopath-no-default
I've implemented this. It is accessible from the command line with
"--variable infopath-no-defaults=On".
For the same reason, I need some way of either ignoring the user's
.info file, or using another file, so that files with recorded
keystrokes will always do the same thing. I intend to add the
--init-file option (which is mentioned in the list of option in the
GNU coding standards) to specify the .info file to read.