Re: RFC: Konsole profile groups
On Saturday, 31 July 2021 06:33:24 PDT David Hurka wrote: > > > > Is anyone using Konsole profile groups? [...] > > > > No, "profile groups" are a different concept; from reading the code in > > ProfileGroup.cpp it's like a group of profiles having one parent profile, > > and when you change the settings it can be applied to all the child > > profiles, or to specific ones... > > I use profiles to distinguish different windows by background color. I have > some application menu entries that launch Konsole with a specific command to > execute, and these windows will use a profile with a different background > color, so I will know later what this window is good for. > > I am not aware of any way to use profile groups, or how to create them. > There is no such button in “Manage Profiles...”. So I guess, if you remove > this feature, users will not notice it. :D Same here. I have a couple of profiles that differ by minimal amounts, but in all other aspects they are the same. I would have used this feature if I had known it existed or had found it. That would allow me to change the font size in all profiles in the same place. But it looks like it's too well hidden. -- Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org Software Architect - Intel DPG Cloud Engineering
Re: RFC: Konsole profile groups
> > > Is anyone using Konsole profile groups? [...] > No, "profile groups" are a different concept; from reading the code in > ProfileGroup.cpp it's like a group of profiles having one parent profile, > and when you change the settings it can be applied to all the child > profiles, or to specific ones... I use profiles to distinguish different windows by background color. I have some application menu entries that launch Konsole with a specific command to execute, and these windows will use a profile with a different background color, so I will know later what this window is good for. I am not aware of any way to use profile groups, or how to create them. There is no such button in “Manage Profiles...”. So I guess, if you remove this feature, users will not notice it. :D
Re: RFC: Konsole profile groups
On 31/07/2021 14:30, Konstantin Kharlamov wrote: On Sat, 2021-07-31 at 13:49 +0200, Ahmad Samir wrote: Hello. Is anyone using Konsole profile groups? that is to say, any objections if that code is removed from Konsole? I've never used them, and I don't have any precise idea how they're supposed to work, if no one is using them any more we could remove them and simplify the code a bit. Are you talking about Settings → "Edit Current Profile" and Settings → "Switch Profile"? If yes, then I do use them, they are quite handy. I have default fancy profile with an image I set on Konsole background, that is the default profile. However, the image is light-colored, and not every terminal application uses colors that are light-friendly (GCC in particular uses light-blue color that is hard to read on light background), so in cases I really need to read that, I switch to the older boring-completely-black profile. No, "profile groups" are a different concept; from reading the code in ProfileGroup.cpp it's like a group of profiles having one parent profile, and when you change the settings it can be applied to all the child profiles, or to specific ones... I am not 100% sure, since I've never seen that concept in action. [...] -- Ahmad Samir
Re: RFC: Konsole profile groups
On Sat, 2021-07-31 at 13:49 +0200, Ahmad Samir wrote: > Hello. > > Is anyone using Konsole profile groups? that is to say, any objections if that > code is removed from > Konsole? > > I've never used them, and I don't have any precise idea how they're supposed > to work, if no one is > using them any more we could remove them and simplify the code a bit. Are you talking about Settings → "Edit Current Profile" and Settings → "Switch Profile"? If yes, then I do use them, they are quite handy. I have default fancy profile with an image I set on Konsole background, that is the default profile. However, the image is light-colored, and not every terminal application uses colors that are light-friendly (GCC in particular uses light-blue color that is hard to read on light background), so in cases I really need to read that, I switch to the older boring-completely-black profile.
