[gedit-list] external tool path?



This plea is about gedit on Dell Mini 9 Ubuntu version (hardy). My daily
machine is Dell XPS m1330 with hardy.

On the latter (laptop) I made external tool to compile Metapost code:

#!/bin/sh
mpost "$GEDIT_CURRENT_DOCUMENT_NAME"

All works fine, e.g.:

	Running tool: metapost
	This is MetaPost, Version 1.005 (Web2C 7.5.5)
	(spigot.mp [0] [1] [2] [3] )
	4 output files written: spigot0.mps .. spigot3.mps
	Transcript written on spigot.log.
	Done.

On the mini, the same external tool gives:

	Running tool: metapost
	This is MetaPost, Version 1.005 (Web2C 7.5.5)
	/home/john/.gnome2/gedit/tools/metapost: 11: spigot.mp not found
	**
	! End of file on the terminal... why?
	Exited 32512

I think the 'not found' error comes from gedit. It is in red on my
screen which is unlike other metapost error messages I get (with
alarming frequency ;-) which are always in black and preceded with ! as
the eof error above.

echo $PATH gives exactly the same results on both machines

Thanks in advance for any ideas where I am overlooking.

--John

 



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