[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