Apparently there are no files in my ~/.jedit/console/commando directory - so how are the available commandos generated?

Any other examples on commandfiles than http://plugins.jedit.org/plugindoc/Console/ch05s03.html.. I just need to invoke the command /path/mosml -P full on my current buffer, that is all..

regards,
Trolle

The pre-installed ones exist in the Console plugin jar file.

If you uninstall the console plugin and reinstall it with the "download source" option checked. You can look through the source to find them.

If all you need is to run that command with the full path to your current buffer, this shouldn't be too hard.

I'll see if I can whip something up later tonight.

Learn from the past. Live in the present. Plan for the future.
11101000
Blog

K. This assumes some things.

Like:
1. "mosml" is on your path, so you don't need to know the full path.
2. mosml works on full paths to files: Eg. mosml /my/full/path/to/something.sml

[code]
<?xml version="1.0" ?>
<!DOCTYPE COMMANDO SYSTEM "commando.dtd">
<COMMANDO>
   <UI>
      <ENTRY LABEL="Compiler Command" VARNAME="command" DEFAULT="mosml"/>
      <FILE_ENTRY LABEL="Source file(s)" VARNAME="source" EVAL="buffer.getPath()" />
      <!-- YOU CAN ADD MORE UI ELEMENTS HERE. -->
   </UI>
   <COMMANDS>
      <COMMAND SHELL="System" CONFIRM="FALSE">
         return command + " " + source;
      </COMMAND>
   </COMMANDS>
</COMMANDO>
[/code]

It's really pretty simple, you just set up the command to return a command you would normally run in the terminal.

Learn from the past. Live in the present. Plan for the future.
11101000
Blog