[tex-live] Bug#433455: Bug#433455: /usr/bin/pdftex: $TEXEDITdefault doesn't cope with spaces in filenames

Akira Kakuto kakuto at fsci.fuk.kindai.ac.jp
Tue Sep 11 08:24:09 CEST 2007


Hi Karl,

>     Unless the OS ending with `$' - err, `s' likes "" better, I prefer ''.
> 
> I committed the change using '%s'.
> 
> Akira, please let me know if that causes problems for you and "%s" would
> be better.

On native Windows, we cannot use '%s'.

Best regards,
Akira


--- c-auto.in.orig	Tue Sep 11 15:07:43 2007
+++ c-auto.in	Tue Sep 11 15:11:17 2007
@@ -54,7 +54,11 @@
 #undef NO_DUMP_SHARE
 
 /* web2c: Default editor for interactive `e' option. */
+#ifdef  WIN32
+#define EDITOR "emacs +%d \"%s\""
+#else
 #define EDITOR "vi +%d '%s'"
+#endif
 
 /* web2c: Window system support for Metafont. */
 #undef EPSFWIN


More information about the tex-live mailing list