[konsole] [Bug 461085] CR: Please add an option to disable the SSH manager plugin

Markus Wernig bugzilla_noreply at kde.org
Tue Jun 6 22:45:37 BST 2023


https://bugs.kde.org/show_bug.cgi?id=461085

--- Comment #12 from Markus Wernig <public at wernig.net> ---
(In reply to tcanabrava from comment #10)

> I do understand your concerns and I plan to implement a way to disable /
> unload plugins in the future, but time has been complex at the moment so I
> ask for a bit of patience (or help on the code).
> *I* ould personally accept a patch that allows to unload plugins (such the
> one in kate) so people can use the plugins if they want, and not being
> forced to.

Another suggestion (also viable for me as a Gentoo Linux user) would be a
compile-time make or CFLAG to disable compilation of the plugin.

-- 
You are receiving this mail because:
You are the assignee for the bug.


More information about the konsole-devel mailing list