[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[7202] \ newline in sed command
From: |
gavinsmith0123 |
Subject: |
[7202] \ newline in sed command |
Date: |
Sat, 4 Jun 2016 08:28:45 +0000 (UTC) |
Revision: 7202
http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=7202
Author: gavin
Date: 2016-06-04 08:28:45 +0000 (Sat, 04 Jun 2016)
Log Message:
-----------
\ newline in sed command
Modified Paths:
--------------
trunk/ChangeLog
trunk/util/texi2dvi
Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog 2016-06-03 19:02:37 UTC (rev 7201)
+++ trunk/ChangeLog 2016-06-04 08:28:45 UTC (rev 7202)
@@ -1,6 +1,12 @@
+2016-06-04 Gavin Smith <address@hidden>
+
+ * util/texi2dvi (run_tex): Use \ followed by newline instead of
+ "\n" in replacement text of 'sed' 's' command. Problem with
+ some versions of sed reported by Vincent Bela\xEFche.
+
2016-06-03 Gavin Smith <address@hidden>
- * doc/texinfo.tex (\UTFviiLoop): Add a missing % character in
+ * doc/texinfo.tex (\UTFviiiLoop): Add a missing % character in
definition of non-initial bytes in UTF-8 sequences.
(\DeclareUnicodeCharacterUTFviii): Move definition of
\UTFviiiTwoOctets (and others) out of this macro and rename
Modified: trunk/util/texi2dvi
===================================================================
--- trunk/util/texi2dvi 2016-06-03 19:02:37 UTC (rev 7201)
+++ trunk/util/texi2dvi 2016-06-04 08:28:45 UTC (rev 7202)
@@ -918,6 +918,13 @@
fi
}
+list_funnies ()
+{
+ echo "$in_input" \
+ | $SED -e 's![^}#$%&^_{~]!!g' -e 's!\(.\)!\1\
+!g' | uniq
+}
+
# run_tex - Run TeX as "$tex $in_input", taking care of errors and logs.
run_tex ()
{
@@ -926,9 +933,8 @@
# Check for any unusual characters in the filename.
# However, >, \ and any whitespace characters are not supported
# filenames.
- in_input_funnies=`echo "$in_input" \
- | $SED -e 's![^}#$%&^_{~]!!g' -e 's!\(.\)!\1\n!g' \
- | uniq`
+ in_input_funnies=`list_funnies`
+
if test -n "$in_input_funnies" ; then
# Make > an end group character, as it's unlikely to appear in
# a filename.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [7202] \ newline in sed command,
gavinsmith0123 <=