Menu

#154 22.74: Treatment of .dvi extension

incorrect behaviour
closed-fixed
5
2003-06-01
2003-05-26
No

22.74 had a bug with filename expansion in that it
always appended a .dvi extension if the filename didn't
already contain a .dvi extension. This caused problems
with files like `foo.wdvi', created by wizzy-tex.

In 22.74.1 this was changed to only append `.dvi' if
the filename had no extension at all. But this isn't
right either, e.g. for files like `foo.2[.dvi|.tex]',
which doesn't find `foo.2.dvi' when passing `foo.2'.
Best would be to use the same algorithm as the non-k
version iff the filename comes from the command-line,
i.e. for any file XYZ, first check if XYZ.dvi exists
and open it if it does, else open XYZ, possibly failing
with a `Not a DVI file' error.

See also the discussion following the posting `Xdvik
version 22.74 and .wdvi -files ...' in dctt
(<20030525113739.371686cc.limelsch@snafu.de>) for more
background.

Discussion

  • Stefan Ulrich

    Stefan Ulrich - 2003-06-01

    Logged In: YES
    user_id=177175

    Fixed in xdvik-22.74.2, by using the same algorithm as in
    non-k xdvi as described above.

     
  • Stefan Ulrich

    Stefan Ulrich - 2003-06-01
    • status: open --> closed-fixed
     

Log in to post a comment.