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

Markus Wernig bugzilla_noreply at kde.org
Tue Jun 13 15:33:53 BST 2023


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

--- Comment #14 from Markus Wernig <public at wernig.net> ---
(In reply to July Tikhonov from comment #13)

> Apparently, such flags already exist. Konsole's CMakeLists.txt has those
> lines:
> 
> option(ENABLE_PLUGIN_SSHMANAGER "Build the SSHManager plugin" ON)
> option(ENABLE_PLUGIN_QUICKCOMMANDS "Build the Quick Commands plugin" ON)

Thank you very much!
I was now able to patch the Gentoo ebuild for konsole so that the ssh manager
plugin is no longer compiled, and have opened an according change request in
the Gentoo bug tracker.
See https://bugs.gentoo.org/show_bug.cgi?id=908444

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


More information about the konsole-devel mailing list