Skip to Content.
Sympa Menu

texmacs-users - Re: [TeXmacs] A temporary way to fix problem with sage plugin

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] A temporary way to fix problem with sage plugin


Chronological Thread 
  • From: Karl Hegbloom <address@hidden>
  • To: Peter Rapčan <address@hidden>, Jiezhe Wang <address@hidden>
  • Cc: texmacs-users <address@hidden>
  • Subject: Re: [TeXmacs] A temporary way to fix problem with sage plugin
  • Date: Thu, 28 Jul 2016 01:05:28 +0000

The 'which' command may be specific to a particular command shell, as a builtin, so unless it's a shell with that builtin or there's a binary or executable shell script called 'which',  it won't work.


On Wed, Jul 27, 2016, 15:25 Peter Rapčan <address@hidden> wrote:
Hello everybody,


Tried to follow the fix by Jienzhe. However, on my machine there is no tm_sage file in the place where ist’s supposed to be (/Applications/TeXmacs.app/Contents/Resources/share/TeXmacs/bin/tm_sage) — see below. There is a tm_sage file in my fink installation of the old TeXmacs 1.0.7 at /sw/lib/TeXmacs/bin/tm_sage, which I never used to run sage -- hence I suppose the tm_sage file  is not buit on the fly when first running a sage session. Right?

What I get is the following:

sys:1: RuntimeWarning: not adding '‘/Applications/TeXmacs.app/Contents/Resources/share/TeXmacs/bin' to sys.path since its status cannot be determined
python: can't open file '‘/Applications/TeXmacs.app/Contents/Resources/share/TeXmacs/bin/tm_sage‘': [Errno 2] No such file or directory.

Any advice?

Best,
Peter.



On 28 May 2016, at 10:40, Jiezhe Wang <address@hidden> wrote:

I found an temporary way to fix the "error which" problem for sage
plugin. Just change "`which tm_sage`" to "/usr/lib/TeXmacs/bin/tm_sage"
in "/usr/share/TeXmacs/plugins/sage/progs/init-sage.scm" and it works!
If you install TeXmacs at other place, it should be something similar.

I guess the problem is that guile cannot recognize command substitution.

--
My current OpenPGP key:
dsa3072/EEE00331 (expires: 2025-07-18)
02D0 27CE DC67 6FA7 EC5E  09B9 A498 B054 EEE0 0331





Archive powered by MHonArc 2.6.19.

Top of Page