Unfortunately keyboards eventually start to fail. One of the common signs that your keyboard is failing is noticing that sometimes, as you type, some keys are registered two or more times, even though you hit a key only once. This […]
Pop!_OS 21.10 landed last week, and if you decide to upgrade, you’ll lose all your installed Gnome extensions. Some of the previous extensions may not be compatible with the new Gnome v4x versions. This was the case with the “Disable […]
If you don’t want to restart Ubuntu after installing or updating an extension that requires Gnome to restart, simply hit Alt + F2, type ‘r’ without the quotes in the new pop-up window, and hit enter to run the command. […]
I bet we all have a bunch of tools we use to make our lives easier, and resources we use regularly to stay up to date with the world. I figured, I could share mine so that others could go […]
Here’s a peculiar issues I’ve encountered the second time this week. Out of the blue, the mouse pointer will start shaking/wiggling/moving up and down heretically, while the mouse itself is standing still. Turning the mouse off, disconnecting the receiver dongle […]
Ok, this was driving me nuts, but I’m glad I finally figured it out thanks to this. So the issue was: every 500ms or so, any graphic output would briefly freeze, be it a video playing, a page scrolling, or […]
At this time of writing, pgAdmin4 is not available for installation on Ubuntu 20.04, due to an unresolved Python dependency. Until this is solved, or in case you want to run pgAdmin from a Docker container, here’s what worked for […]