You can see my most recent question has to do with a GNOME bug. There's a patch for it. How can I apply a patch to Gnome manually? was never answered!
Come on Ubuntu community!
Definitely needed with the complete move of Canonical to GNOME by default.
These are runtime js files. No compilation necessary. However, please include the recompile commands in your answer for completeness.
Lots of stuff needs to come before a/js/ui/keyboard.js, but it's not specified.
It is not obvious how to obtain a .patch. I clicked on the attachments' names, details, diff, and review, and none are download links to .patch files.
Is sudo required?
A step-by-step answer will help all the future 17.10 ubunt-nubs to patch GNOME problems for years to come.
– Tom Mercer Oct 17 '17 at 02:28