This post demonstrates how to use the GNOME Shell extension mechanism to monkey patch the GNOME Shell in order to provide new functionality for the shell or fix a existing defect in the shell.
↧