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


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

TeXmacs/doc/devel/plugin/ says:

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

\ \ \ \ (extern-exec plugin-command)

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,


Archive powered by MHonArc 2.6.19.

Top of page