[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

usertags for jadetex

user debian-tetex-maint@lists.debian.org
tag 335225 + switch-to-sys

Here is a diff against postinst that should fix this.

--- postinst	2005-12-13 08:39:32.000000000 +0100
+++ jadetex.postinst.fixed	2005-12-12 22:11:45.000000000 +0100
@@ -58,10 +58,13 @@
 checkfmt ( ) {
     baseformat=`basename $1 .fmt`
+    fmtutil=fmtutil
+    if [ -x /usr/bin/fmtutil-sys ]; then fmtutil=fmtutil-sys; fi
     if ! ( kpsewhich $baseformat.fmt || kpsewhich $baseformat.efmt ) > /dev/null ; then
 	warn "WARNING: memory dump $format not found, attempting to reconstruct ..."
-	echo "running 'fmtutil --byfmt $baseformat'" >> $MYTMPFILE
-	fmtutil --byfmt $baseformat >> $MYTMPFILE
+	echo "running '$fmtutil --byfmt $baseformat'" >> $MYTMPFILE
+	$fmtutil --byfmt $baseformat >> $MYTMPFILE
 	if kpsewhich $format > /dev/null ; then
 	    warn "       ok, reconstructed"
@@ -90,9 +93,9 @@
         warn "or else purge then reinstall this package to restore default configuration."
         return 0
-        log "running 'fmtutil --byfmt $fmt'..."
-        if ! fmtutil --byfmt $fmt >> $MYTMPFILE; then
-            warn "ERROR: $fmt fmtutil failed"
+        log "running '$fmtutil --byfmt $fmt'..."
+        if ! $fmtutil --byfmt $fmt >> $MYTMPFILE; then
+            warn "ERROR: $fmt $fmtutil failed"
             return 1
             log "successfully created $fmt memory dump"

Best wishes


Dr. Norbert Preining <preining AT logic DOT at>             Università di Siena
gpg DSA: 0x09C5B094      fp: 14DF 2E6C 0307 BE6D AD76  A9C0 D2BF 4AA3 09C5 B094
`We've got to find out what people want from fire, how
they relate to it, what sort of image it has for them.'
The crowd were tense. They were expecting something
wonderful from Ford.
`Stick it up your nose,' he said.
`Which is precisely the sort of thing we need to know,'
insisted the girl, `Do people want fire that can be fitted
                 --- Ford "debating" what to do with fire with a marketing
                 --- girl.
                 --- Douglas Adams, The Hitchhikers Guide to the Galaxy

Reply to: