mailing-list for TeXmacs Users

["Andrey G. Grozin" <address@hidden>]

On Tue, 4 Oct 2005, Robert Jerrard wrote:
> In running TeXmacs in our lab and using maxima session within it, a
> number of students are getting the following error message at maxima
> startup:
> 
> /usr/lib/texmacs/TeXmacs/bin/tm_maxima: line 4: /tmp/foo: Permission
> denied
> 
> Apparently the file /tmp/foo is being created and is owned by the user
> running the session for the first time on that particular machine with
> 644 permissions. Consequently, when someone else tries to do a maxima
> session within TeXmacs this error is created. The only content
> of /tmp/foo is:
> 
> 5.9.1 gcl
> 
> presumably the version number of maxima. It seems unreasonable to have
> tm_maxima echo this information to /tmp/foo. Is /tmp/foo being used in
> some other script or can line 4 of tm_maxima be safely deleted?
This line can be safely deleted. It was used for debugging, and slipped 
into the released version by mistake. By the way, it was removed in recent 
versions of TeXmacs, starting from 1.0.5.8, I think.

> PS Any thoughts on my earlier post regarding the maxima session input
> and output number problem?
This is difficult: I guess, changes of C++ code responsible for sessions 
are required. The latest input prompt has already been written, and 
TeXmacs does not remember it. Now you want TeXmacs to write it again, at 
the beginning of the line the user has just edited and pressed enter. From 
where TeXmacs can know it? I agree that this would be reasonable (by the 
way, then the user will see two identical input line numbers after 
re-executing an old line).

Andrey