Gregory Borota writes:
Should be: exec xdvi.bin $NAMEOPT ${1+"$@"}
Thanks. I'll forward it upstream, this will be fixed in the next release.
Jan.
Well, another thing that might be fixed is to allow dvi files to be renamed even while they are displayed. At present one could only copy into the file but not "move into". I find that quite weird. Here is what I mean:
$ xdvi file.dvi &
$ cp otherfile.dvi file.dvi
That works!
$ mv otherfile.dvi file.dvi
mv: cannot create regular file `file.dvi': Permission denied
It might be related to the fact that F_SETOWN is not implemented under Cygwin.
fcntl F_SETOWN (xdvi): Invalid argument
Thanks, Greg