Re: Bug#433455: /usr/bin/pdftex: $TEXEDIT default doesn't cope with spaces in filenames

[Jörg Sommer <joerg@alea.gnuu.de>]

Hi,

Frank Küster <frank@kuesterei.ch> wrote:
>> On Tue, 2007-07-17 at 14:27 +0200, Frank Küster wrote:
>>
>>> That's correct.  However - I have no idea where the TEXEDIT default is
>>> set:
>>> 
>>> $ grep TEXEDIT src/Packages/texlive-new/texlive-bin-2007/build/source/texk/web2c/pdftexdir/*
>>> $ grep TEXEDIT src/Packages/texlive-new/texlive-bin-2007/build/source/texk/web2c/*
>>> $ grep TEXEDIT /etc/texmf/texmf.d/*
>>> $ 
>
> By the way, does variable expansion work in this case?  In other words,
> would
>
> TEXEDIT = ${EDITOR:-vi} +%d "%s"
>
> work and respect the EDITOR environment variable?

BTW: You should use sensible-editor as default in Debian.

Bye, Jörg.
-- 
Fazit: „Schießen Sie nicht mit dem Geiger!“
<news:46778c4c$0$6396$9b4e6d93@newsspool2.arcor-online.net>