2003-01-13 23:35:18 +00:00
|
|
|
#! /bin/sh
|
|
|
|
# The default converter if no other has been defined by the user from the
|
|
|
|
# Conversion->Converter tab of the Preferences dialog.
|
2002-08-09 15:42:45 +00:00
|
|
|
#
|
2003-01-13 23:35:18 +00:00
|
|
|
# The user can also redefine this default converter, placing their
|
|
|
|
# replacement in ~/.lyx/scripts
|
2002-08-09 15:42:45 +00:00
|
|
|
#
|
2003-01-13 23:35:18 +00:00
|
|
|
# converts an image from $1 to $2 format
|
2003-11-29 18:30:09 +00:00
|
|
|
|
|
|
|
convert -depth 8 $1 $2 || {
|
|
|
|
echo "$0 ERROR"
|
|
|
|
echo "Execution of \"convert\" failed."
|
|
|
|
exit 1
|
|
|
|
}
|
2003-01-13 23:35:18 +00:00
|
|
|
|
|
|
|
# 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.
|
2003-11-29 18:30:09 +00:00
|
|
|
# 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-`
|
2003-01-13 23:35:18 +00:00
|
|
|
|
2003-11-29 18:30:09 +00:00
|
|
|
test -f $FILE || {
|
|
|
|
echo "$0 ERROR"
|
|
|
|
echo "Unable to find file \"${FILE}\""
|
|
|
|
exit 1
|
|
|
|
}
|
2003-01-13 23:35:18 +00:00
|
|
|
|
2003-11-29 18:30:09 +00:00
|
|
|
echo "$0 generated file \"${FILE}\" successfully."
|