By coincidence, I'm in the middle of working on the command. I'll try to
see what's going on there. In the meantime, I *think* that the command
will pick up konsole without you having to list it. I do have an Open-SUSE
VM (not on wsl) but I added Cinnamon to it and IIRC the command finds
gnome-terminal first before konsole. I'll get back here with what I find
out. What kind of program are you trying to run? If it's a Python program
you won't need to put anything into the @data node..
On Saturday, October 12, 2024 at 4:17:32 AM UTC-4 lewis wrote:
> I have been setting up to use the "execute-external-file" command for
> #4091.
> Node @data run-external-processor-map is in myLeoSettings.leo and
> includes these lines:
>
>
>
> *# Optionally specify a Linux terminal (e.g., konsole) on the# line after
> the "TERMINAL" line.TERMINALkonsole*
>
> Running wsl openSUSE-Tumbleweed
>
>
> *Leo 6.8.2-devel, devel branch, build 92e7ab6e802024-10-12 02:01:07
> -0500Python 3.12.7, PyQt version 6.7.3*
>
> Konsole is installed.
>
> When I run *execute-external-file* command I get error:
>
>
>
>
>
>
>
>
>
>
>
>
> *Traceback (most recent call last): File
> "/home/lewisneal/leo-editor/leo/core/leoGlobals.py", line 318, in
> new_cmd_wrapperfunc(self, event=event) File
> "/home/lewisneal/leo-editor/leo/core/leoCommands.py", line 1072, in
> execute_external_fileprocessor_map, extension_map, terminal =
> get_external_maps()^^^^^^^^^^^^^^^^^^^ File
> "/home/lewisneal/leo-editor/leo/core/leoCommands.py", line 849, in
> get_external_mapsprocessor_map =
> scan_map('PROCESSORS')^^^^^^^^^^^^^^^^^^^^^^ File
> "/home/lewisneal/leo-editor/leo/core/leoCommands.py", line 837, in
> scan_mapval = keyval[1].strip()~~~~~~^^^IndexError: list index out of range*
>
>
>
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/e1aee5cb-d9fc-4170-8937-1dd1877ef025n%40googlegroups.com.
