Hi David
>> ...
> I'm not sure if it is possible to fix this in the .desktop file. It is
> conceivable setting 'Terminal=true' in
> /usr/share/applications/texmaker.desktop would help, at the expense of
> spawning an extra terminal.
No it does not help: I did try that before my first email and it didn't work
either.
It only works if I manually open a terminal and manual enter texmaker: then
texmaker
is a child of the user's environment shell.
> I suspect the solution is to make sure the appropriate environment
> variables are set in your xfce or gnome environment. ...
Well, I don't know David, but to me it does not make sense: and beside, I am not
willing to have to manually change all .config/.. of the users of this lab
You maybe right saying that it is a desktop env problem on 64bits machines, but
neither gnome neither xfce4, would it not be too much of a coincidence ? And as
you
said, why would it work on 32bits machines? I'll try to see if I can find more
info,
but I don't even know how to start and where to look ?
Right now I created a local 'texmaker' script which does
. ~/.bashrc;/usr/bin/texmaker
then it works and I don't have to digg in anybody's environment config
variables.
Cheers,
David
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
