GNU bug report logs - #38308
INFO files changed on disk: mention rereading workaround

Previous Next

Full log

Message #11 received at 38308 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Robert Pluim <rpluim <at> gmail.com>
Cc: 38308 <at> debbugs.gnu.org,
 積丹尼 Dan Jacobson <jidanni <at> jidanni.org>
Subject: Re: bug#38308: INFO files changed on disk: mention rereading
 workaround
Date: Thu, 21 Nov 2019 14:04:09 +0100

Robert Pluim <rpluim <at> gmail.com> writes:

>>>>>> On Thu, 21 Nov 2019 08:11:26 +0800, 積丹尼 Dan Jacobson
> <jidanni <at> jidanni.org> said:
>
>     積丹尼> (info "(info) Advanced") should add FAQ:
>     積丹尼> Q: What if the info files or top directory change on disk?  Unlike
>     積丹尼> normal browsers INFO has no refresh command.
>
>     積丹尼> A: Kill the *info* buffer and start INFO again.
>
> You donʼt have to kill the *info* buffer, you can just revert it. I do
> that all the time when Iʼm writing info documentation, but I canʼt see
> that being a common occurence in normal use.

Yeah, I don't think this is a frequently asked question, so I'm closing
this bug report.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.