Updating VirtualBox on Ubuntu
Dec 01, 2021
How was it installed? The official apt repositories are known to have old (read thoroughly tested and stable) versions for some software packages. In that light, VirtualBox was installed through the latest stable .deb installer downloaded from the official website, with the version number at the time being 6.1.28-147628. When the new stable version 6.1.30-148432 became available, following are the steps that were followed to set it up. The Process First, we need to obtain a copy of the .…
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.…