• Please complete the contact form below with details about your inquiry and I'll get back to you as soon as possible.

  • This field is for validation purposes and should be left unchanged.

Tag: ubuntu

Install or update a Gnome extension without restarting Ubuntu

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. […]

My Favorite Tools & Resources for Day to Day Software Development

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 […]

Fix: Mouse pointer shakes while mouse standing still in Ubuntu 20.04

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 […]

Fix: Ubuntu 20.04 stuttering animations & video

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 […]

Dockerized pgAdmin 4 & local Postgres server on Ubuntu 20.04

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 […]