Blue Desk

I need the PKCS#11 USB token at work, and every time I spin a new Linux VM, I need to install it again. But I never remember what needs to b...

As Chrome’s adoption of Manifest V3 approaches, I’ve been trying Brave more and more, even in my Android. Using it for work had me in trou...

Searching recursively all files with the given extension: find . -name "*.orig" Searching all files containing the given text ...

For my working VM, after ditching the sluggish Ubuntu 22 for the crazy good Mint Cinnamon 21 , one of the customizations I wanted to make wa...

A deb package can be installed on Linux by running: sudo dpkg -i Package.deb However, the installation may fail because dependencies are...

I decided to show the current Git branch at my bash prompt whenever I’m at a directory which contains a repository. I found a rather convolu...

Sometimes, after you mess up too much with your Git repository, it ends up with a couple useless objects, which are no longer referenced any...

Firefox offers an graphical interface to add the PKCS#11 library to the browser, so you can use PKCS#11 token to authenticate in websites. ...

In Linux, I was having a problem when using Firefox. After some version update, the menu separator lines simply disappear. After searching a...

If you happen to have Google Chrome settings managed by your network administration, on Linux, the fixed settings are stored into JSON files...

When commiting code on Git, very often I realize I forgot some little detail right after I end the commit operation. This is very annoying. ...

Recently I’ve been having a problem with Visual Studio Code , current version 1.5.2, on Linux. The program startup was too slow. I mean, the...

I have an ordinary Apache installation on an Ubuntu 12 OS, where the root webserver directory is ordinarily pointing to /var/www . I have m...