Re: gnome-shell and custom desktop files

[Aurélien Naldi <aurelien naldi gmail com>]

On Tue, Nov 8, 2011 at 11:19 AM, Olav Vitters <olav vitters nl> wrote:
> On Tue, Nov 08, 2011 at 11:14:58AM +0100, Aurélien Naldi wrote:
>> profiles. As I understand, the shell will not work as I expect unless
>> these applications are adapted to change the WM_CLASS property
>> depending on the current profile. I can't find a way to do so on
>> gnome-terminal, I guess I will report a bug there...
>
> There already is a command line option for it:
>  --class=CLASS                   Program class as used by the window manager
>

I forgot this one as it does not appear in the default --help output,
but anyway it does not work.
A bug  was reported about this years ago and marked as wontfix:

https://bugzilla.gnome.org/show_bug.cgi?id=85068

Would it make sense to reopen it?

-- 
Aurélien Naldi