Не знаю, проявляется ли это у всех или только у меня, но в какой-то момент Gnome Shell начинает сильно тормозить и спамит в логи ошибкой в модуле tweener.js. Я загуглил полный текст ошибки и обнаружил, что она уже давно известна.
Более того, есть два Pull Request вроде как исправляющие её:
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/4
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/11
Второй PR является предельно простым (тупо меняет 2 строчки в одном скрипте местами) и по комментариям решает мою проблему, но его закрыли в пользу первого, поскольку первый теоретически должен решать больше проблем, а не только один частный случай. Только вот с тем более сложным патчем они уже больше 5 месяцев не могут договориться, что с ним делать «а вдруг он вызовет другие регрессии» и т. д.
То есть простой патч они не приняли, потому что «есть патч лучше», а «патч лучше» они не приняли, потому что у них никак не дойдут руки в нём разобраться. А пользователи как обычно страдают, да. Раз у них нет сил/времени/желания разбираться сейчас со сложным патчем, могли бы принять простой, с учётом того, что какого-то явного быдло-кода он не содержит, а потом бы уже разбираться со сложным. Но нет, у них же интерпрайз, так нельзя ни в коем случае!
В общем, мне лениво пересобирать gnome-shell. Не могу ли я найти в уже установленном в системе заветный файлик и пропатчить его ручками? JS по идее не должен компилироваться, так что должен лежать на ФС в исходном виде. Да, мне придётся вносить изменения после каждого обновления пакета, но я это автоматизирую скриптом, так что меня вполне это устраивает. Главное чтобы работало.
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/11/diffs
Куда попадает при установке файл js/ui/tweener.js?