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.

Reply via email to