Как я могу исправить свой собственный демон gnome-settings?
Я хочу изменить только один номер здесь https://gitlab.gnome.org/GNOME/gnome-settings-daemon/blob/master/plugins/media-keys/gsd-media-keys-manager.c#L118
Каков наилучший способ установить для себя gnome-settings-daemon? Нужно ли для этого настроить собственный ppa? Если так, то как?
Я на Ubuntu 18.04.2 LTS и использую Gnome.
(Основная проблема - https://bugzilla.gnome.org/show_bug.cgi?id=650371. Грустная история, но я должен адаптироваться к ситуации)