mailing-list for TeXmacs Users

Text archives Help


extern-exec and "further customization"


Chronological Thread 
  • From: Lionel Elie Mamane <address@hidden>
  • To: address@hidden
  • Subject: extern-exec and "further customization"
  • Date: Wed, 1 Feb 2006 19:34:02 +0100

Hi,

Has "extern-exec" been renamed and not updated in the documentation?
To what? If anybody has some insight...

TeXmacs/doc/devel/plugin/customization.en.tm says:

Inversily, when the cursor is inside a session of your system, you may use
the <name|Scheme> command:

<\verbatim>
\ \ \ \ (extern-exec plugin-command)
</verbatim>

in order to execute a command of your system.

But when I try that, I get the Scheme error:

<unnamed port>:1:32: In expression (extern-exec "foo"):
<unnamed port>:1:32: Unbound variable: extern-exec


Thanks in advance for your help,

--
Lionel



Archive powered by MHonArc 2.6.19.

Top of page