Re: xdvi refresh

2020-01-15 Thread tomas
On Wed, Jan 15, 2020 at 10:51:47AM -0600, David Wright wrote:
> On Wed 15 Jan 2020 at 08:00:50 (+0100), to...@tuxteam.de wrote:
> > On Tue, Jan 14, 2020 at 08:16:17PM +, Russell L. Harris wrote:
> > > On Debian 10 (Buster), running latex does not cause refresh of xdvi,
> > > as I seem to recall that it does on Debian 8 and 9.  Instead, I must
> > > click on the screen for refresh.
> > > 
> > > Having read the xdvi man page, I think this could be corrected by
> > > invoking:
> > > 
> > > xdvi -watchfile 1  &
> > 
> > It should be, yes. Note that there is an X resource you can set
> > (.watchFile). Perhaps it was set in an earlier packaged version
> > of xdvi. Perhaps just your .xdvirc disappeared.
> > 
> > So try to put
> > 
> >   *watchFile: 1
> > 
> > in your ~/.xdvirc, perhaps it helps.
> 
> I was put off suggesting this file because mine is headed by:
> 
> !!! ~/.xdvirc, used by xdvi(1) to save user preferences.

[...]

> In addition, the "configuration" file appears to behave as a
> history file as well, and I usually prefer not to use them
> (eg I use .lesshst, but .bash_history is a largeish readonly
> file.)

Good points.

> For these reasons, I thought .Xresources might be a better location.
> (Untested, because I don't use xdvi nowadays. I keep a couple of
> old DVIs around, one dating from 1990, as test files.)

Yes, that looks like the best approach. The man page states that
.xdvirc overrides X resources, so it seems advisable to keep an
eye on that.

Cheers
-- t


signature.asc
Description: Digital signature


Re: xdvi refresh

2020-01-15 Thread David Wright
On Wed 15 Jan 2020 at 08:00:50 (+0100), to...@tuxteam.de wrote:
> On Tue, Jan 14, 2020 at 08:16:17PM +, Russell L. Harris wrote:
> > On Debian 10 (Buster), running latex does not cause refresh of xdvi,
> > as I seem to recall that it does on Debian 8 and 9.  Instead, I must
> > click on the screen for refresh.
> > 
> > Having read the xdvi man page, I think this could be corrected by
> > invoking:
> > 
> > xdvi -watchfile 1  &
> 
> It should be, yes. Note that there is an X resource you can set
> (.watchFile). Perhaps it was set in an earlier packaged version
> of xdvi. Perhaps just your .xdvirc disappeared.
> 
> So try to put
> 
>   *watchFile: 1
> 
> in your ~/.xdvirc, perhaps it helps.

I was put off suggesting this file because mine is headed by:

!!! ~/.xdvirc, used by xdvi(1) to save user preferences.
!!!
!!! Do not edit this file, it will be overwritten by xdvi.
!!! This file contains resources that have been set via the
!!! menus/dialogs. The contents of this file will override
!!! the entries in your ~/.Xdefaults file (but not the command
!!! line arguments passed to xdvi). Remove this file
!!! if you want to get rid of all these customizations,
!!! or start xdvi with the `-q' option to ignore this file.
!!!

In addition, the "configuration" file appears to behave as a
history file as well, and I usually prefer not to use them
(eg I use .lesshst, but .bash_history is a largeish readonly
file.)

For these reasons, I thought .Xresources might be a better location.
(Untested, because I don't use xdvi nowadays. I keep a couple of
old DVIs around, one dating from 1990, as test files.)

Cheers,
David.



Re: xdvi refresh

2020-01-14 Thread tomas
On Tue, Jan 14, 2020 at 08:16:17PM +, Russell L. Harris wrote:
> On Debian 10 (Buster), running latex does not cause refresh of xdvi,
> as I seem to recall that it does on Debian 8 and 9.  Instead, I must
> click on the screen for refresh.
> 
> Having read the xdvi man page, I think this could be corrected by
> invoking:
> 
> xdvi -watchfile 1  &

It should be, yes. Note that there is an X resource you can set
(.watchFile). Perhaps it was set in an earlier packaged version
of xdvi. Perhaps just your .xdvirc disappeared.

So try to put

  *watchFile: 1

in your ~/.xdvirc, perhaps it helps.

Cheers
-- t


signature.asc
Description: Digital signature


Re: xdvi refresh

2020-01-14 Thread David Wright
On Tue 14 Jan 2020 at 20:16:17 (+), Russell L. Harris wrote:
> On Debian 10 (Buster), running latex does not cause refresh of xdvi,
> as I seem to recall that it does on Debian 8 and 9.  Instead, I must
> click on the screen for refresh.
> 
> Having read the xdvi man page, I think this could be corrected by
> invoking:
> 
> xdvi -watchfile 1  &
> 
> when starting xdvi; but that was not necessary on either Jessie or
> Stretch.
> 
> Working as much as possible from the keyboard, I find the necessity of
> reaching for the rodent a significant nuisance.
> 
> Has something changed?

Have you tried either of Ctrl-r or R?

Cheers,
David.