[gedit-list] external tool path?
- From: John Kitzmiller <jkitzm gmail com>
- To: gedit-list gnome org
- Subject: [gedit-list] external tool path?
- Date: Tue, 11 Nov 2008 13:01:25 -0500
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]