[ Dropping gpudriverdevsupport, please never cross-post between that and public mailing lists ] On 2018-01-29 08:58 PM, mikhail wrote: > > On Mon, 2018-01-29 at 19:18 +0100, Marek Olšák wrote: >> Please report this issue to the gnome-shell team. gnome-shell has a >> bug in how they handle (or ignore) 10-bits-per-channel visuals. > > I already reported here: > https://gitlab.gnome.org/GNOME/mutter/issues/2 > >> The workaround is to set the environment variable >> "allow_rgb10_configs=false" for gnome-shell. > > I added environment variable as you said: > # echo "allow_rgb10_configs=false" > /etc/profile.d/gnome-workaround.sh > But it not helps workaround problem. > Maybe we made a mistake in the diagnosis? No, it just means there's an error in the way you're trying to set the workaround. Maybe it needs to be "export allow_rgb10_configs=false"? You can also try the method I described in https://bugs.freedesktop.org/show_bug.cgi?id=104808#c2 , I verified that to work. -- Earthling Michel Dänzer | http://www.amd.com Libre software enthusiast | Mesa and X developer
