[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