Splendid, that did the trick. Thank you very much. I confused the setting with User Actions, where you also can set up a custom terminal.
Have a nice weekend, Micha. https://vollkornkartoffeln.de On 21.06.19 18:22, Yuri Chornoivan wrote: > пт, 21 черв. 2019 о 18:23 <vollkornkartoff...@posteo.de > <mailto:vollkornkartoff...@posteo.de>> пише: > > Sorry, wrong Subject. :) > > > On 21.06.19 16:56, vollkornkartoff...@posteo.de > <mailto:vollkornkartoff...@posteo.de> wrote: >> Hey folks, >> >> I'm using Krusader 2.7.1 under Ubuntu 19.04 Gnome. When pressing >> F9, it's not opening a terminal. I started it with terminal to >> have a look at error messages, and upon F9 press it says: # >> Failed to parse arguments: "Unknown option --separate". But at >> Settings > Configure Krusader > User Actions at "Terminal for >> UserActions" there's only: "gnome-terminal --noclose --workdir >> %d" – so I haven't specified the option --separate anywhere. >> >> Is this option hardcoded? Or is it hidden in some config file? >> >> Help would really be appreciated. >> >> Thanks, >> Micha. > > Hi, > > The default Krusader terminal is Konsole (and it starts with "konsole > --separate"). > > If you want some other terminal you can change it on the "Settings -> > Configure Krusader -> General -> General tab" using the "External > terminal" line edit. > > The documentation bits on this: > > https://docs.kde.org/trunk5/en/extragear-utils/krusader/konfig-general.html#konfig-general-general > > Hope this helps. > > Best regards, > Yuri > -- > You received this message because you are subscribed to the Google > Groups "krusader-users" group. > To unsubscribe from this group and stop receiving emails from it, send > an email to krusader-users+unsubscr...@googlegroups.com > <mailto:krusader-users+unsubscr...@googlegroups.com>. > To post to this group, send email to krusader-users@googlegroups.com > <mailto:krusader-users@googlegroups.com>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/krusader-users/CAGqPwMR0Fdtrv7agFEvoHfNcy5Osj4JNFkFWwdk6f-24Cmj%2BfQ%40mail.gmail.com > <https://groups.google.com/d/msgid/krusader-users/CAGqPwMR0Fdtrv7agFEvoHfNcy5Osj4JNFkFWwdk6f-24Cmj%2BfQ%40mail.gmail.com?utm_medium=email&utm_source=footer>. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "krusader-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to krusader-users+unsubscr...@googlegroups.com. To post to this group, send email to krusader-users@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/krusader-users/6ba0cbc8-9a2e-ca3c-04ed-dc8caccaa170%40posteo.de. For more options, visit https://groups.google.com/d/optout.