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

2023-06-13 Thread Markus Wernig
https://bugs.kde.org/show_bug.cgi?id=461085 Markus Wernig changed: What|Removed |Added See Also||https://bugs.gentoo.org/sho

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

2023-06-13 Thread Markus Wernig
https://bugs.kde.org/show_bug.cgi?id=461085 --- Comment #14 from Markus Wernig --- (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) >

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

2023-06-06 Thread July Tikhonov
https://bugs.kde.org/show_bug.cgi?id=461085 --- Comment #13 from July Tikhonov --- (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

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

2023-06-06 Thread Markus Wernig
https://bugs.kde.org/show_bug.cgi?id=461085 --- Comment #12 from Markus Wernig --- (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

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

2023-06-06 Thread Markus Wernig
https://bugs.kde.org/show_bug.cgi?id=461085 --- Comment #11 from Markus Wernig --- (In reply to tcanabrava from comment #10) > I did indeed consider a less intrusive way to develop the plugin, but then > I realized that a lot of people that answered my request to "how do you use > profiles in

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

2023-06-03 Thread bugzilla_noreply
https://bugs.kde.org/show_bug.cgi?id=461085 --- Comment #10 from tcanabr...@kde.org --- Markus, I did indeed consider a less intrusive way to develop the plugin, but then I realized that a lot of people that answered my request to "how do you use profiles in konsole" were using the *profile*

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

2023-06-03 Thread Markus Wernig
https://bugs.kde.org/show_bug.cgi?id=461085 --- Comment #9 from Markus Wernig --- (In reply to tcanabrava from comment #7) > Please take in consideration the time I did put on the plugin system, to > not say things like "I was fortunate to not realize that the plugins > exist", I understand

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

2023-06-03 Thread July Tikhonov
https://bugs.kde.org/show_bug.cgi?id=461085 --- Comment #8 from July Tikhonov --- (In reply to tcanabrava from comment #7) > Hello July, > > Please take in consideration the time I did put on the plugin system, to > not say things like "I was fortunate to not realize that the plugins > exist",

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

2023-06-03 Thread bugzilla_noreply
https://bugs.kde.org/show_bug.cgi?id=461085 --- Comment #7 from tcanabr...@kde.org --- Hello July, Please take in consideration the time I did put on the plugin system, to not say things like "I was fortunate to not realize that the plugins exist", I understand that some frustration can exist,

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

2023-06-03 Thread July Tikhonov
https://bugs.kde.org/show_bug.cgi?id=461085 --- Comment #6 from July Tikhonov --- (In reply to tcanabrava from comment #4) > Click on the shortcut and change it. It’s there from day one. > > --- Comment #3 from July Tikhonov --- > > The plugin is annoying even when it doesn't do anything. It

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

2023-06-03 Thread bugzilla_noreply
https://bugs.kde.org/show_bug.cgi?id=461085 --- Comment #5 from tcanabr...@kde.org --- Nicolai, the last Konsole version has a tick to ignore profile changes on the ssh plug-in, are you using the last version? On Mon, 3 Apr 2023 at 08:41 Nicolai Langfeldt wrote: >

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

2023-06-03 Thread bugzilla_noreply
https://bugs.kde.org/show_bug.cgi?id=461085 --- Comment #4 from tcanabr...@kde.org --- Click on the shortcut and change it. It’s there from day one. On Sat, 3 Jun 2023 at 08:00 July Tikhonov wrote: > https://bugs.kde.org/show_bug.cgi?id=461085 > > July Tikhonov changed: > >What

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

2023-06-03 Thread July Tikhonov
https://bugs.kde.org/show_bug.cgi?id=461085 July Tikhonov changed: What|Removed |Added CC||july.t...@gmail.com --- Comment #3 from July

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

2023-04-03 Thread Nicolai Langfeldt
https://bugs.kde.org/show_bug.cgi?id=461085 --- Comment #2 from Nicolai Langfeldt --- > The main way it gets in the way is that it adds profiles for each host as it > goes and the default konsole profile is in all cases "Built-in" rather than > "Green". Even though "Green" is marked as

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

2023-04-03 Thread Nicolai Langfeldt
https://bugs.kde.org/show_bug.cgi?id=461085 Nicolai Langfeldt changed: What|Removed |Added CC||j...@langfeldt.net --- Comment #1 from

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

2022-10-27 Thread Markus Wernig
https://bugs.kde.org/show_bug.cgi?id=461085 Markus Wernig changed: What|Removed |Added CC||pub...@wernig.net -- You are receiving this