Installing Gnome Shell Extensions Manually on Ubuntu
Nov 30, 2021
The Background The usual method to install Gnome extensions on Ubuntu is using a browser with the relevant browser extension installed among other requirements. However, as in almost all things involving Linux, this method is not necessarily the only way toward accomplishing the same. What follows are the steps that may be followed to manually download and install the extensions without browser integration. The Procedure We can get started by navigating to the Gnome Extensions webpage1, finding the extension we need installed, and downloading the extension package matching our Gnome shell version2.…
Adding a Program to Gnome Dock in Ubuntu
Nov 14, 2021
The backgroud I recently installed Ubuntu 20.04 LTS on a machine where I needed a solid and friendly OS1. I also wanted to install a couple programs including Lite XL2 and VS Code3 among others, and decided to use the pre-built binaries and setup them in a portable manner. For VS code, extracting the gzipped tar and creating an empty ‘data’ directory inside the extracted directory is the way to go.…