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

July Tikhonov bugzilla_noreply at kde.org
Wed Jun 7 02:30:47 BST 2023


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

--- Comment #13 from July Tikhonov <july.tikh at gmail.com> ---
(In reply to Markus Wernig from comment #12)
> (In reply to tcanabrava from comment #10)
> 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.

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)

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


More information about the konsole-devel mailing list