Thanks for testing! I was surprised by all the terminals available, too. On my Mint virtual machine ( I have lightly annotated the responses): tom@tom-VirtualBox:~$ find /usr/bin -name *term -type f /usr/bin/setterm # Not a terminal - controls terminal properties /usr/bin/xterm /usr/bin/lxterm /usr/bin/uxterm /usr/bin/koi8rxterm # Apparently a Russian language one
tom@tom-VirtualBox:~$ find /usr/bin -name *-terminal -type f /usr/bin/xfce4-terminal /usr/bin/gnome-terminal /usr/bin/mate-terminal On Tuesday, February 21, 2023 at 4:58:47 AM UTC-5 jkn wrote: The updated scripts seems to be working for me as well. It uses 'uxterm', which I never even knew I had installed! I agree that an optional setting for the terminal would be a good idea. -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/e1c8a883-ea23-452b-bca6-3e0f6dbd13d4n%40googlegroups.com.
