+2003-11-28 Angus Leeming <leeming@lyx.org>
+
+ * scripts/convertDefault.sh: use cut in preference to sed, but use it
+ safely.
+
2003-11-27 Martin Vermeer <martin.vermeer@hut.fi>
* layouts/db_stdclass.inc:
2003-11-27 Martin Vermeer <martin.vermeer@hut.fi>
* layouts/db_stdclass.inc:
# It appears that convert succeeded, but we know better than to trust it ;-)
# convert is passed strings in the form "FMT:FILENAME", so use the ':' to
# delimit the two parts.
# It appears that convert succeeded, but we know better than to trust it ;-)
# convert is passed strings in the form "FMT:FILENAME", so use the ':' to
# delimit the two parts.
-# Do not use 'cut' because Win32 filenames have the form 'C:\my\file'.
-FILE=`echo $arg2 | sed 's,^[^:]*:,,'`
+# Note that Win32 filenames have the form 'C:\my\file',
+# so use everything from the first ':' to the end of the line.
+FILE=`echo $2 | cut -d ':' -f 2-`
test -f $FILE || {
echo "$0 ERROR"
test -f $FILE || {
echo "$0 ERROR"