Tools

21 Oct 2025

How to boot Proxmox from USB using GRUB

The last time I was forced to install a fresh Linux system on my old laptop, I had opportunity to learn how to steer GRUB to boot a system using a bootloader located on a USB drive. This little trick saved me dozens of …

07 Aug 2021

How to remove hard spaces from file using awk

Some tasks seem easy when we perform them manually, but new things come to light once we want to automate them. What can go wrong if we remove hard spaces from a text file using a script? If it’s a one-time …

08 Apr 2021

How to decrypt PDF files on macOS

Some companies send encrypted PDF documents. If you’re a macOS user, Preview will ask you for the password each time you use quick look or open the document. Moreover, if you print that document, you’ll end …

18 Jun 2020

How to type letters with accents and diacritics in Emacs

I’ve heard a lot of good things about Emacs and Org-mode package as the approach to write and organize plain-text notes. I recently found a doom-emacs project and I decided to give it a try. Unfortunately, in the …

02 Apr 2020

How to boot system from USB using GRUB

Almost every modern computer has a dedicated menu to choose from which device the system should boot. If not, there is an option in BIOS/UEFI to change that. But what if both options failed for some reason?

07 Aug 2019

Use make as task runner

During development, you probably take advantage of some extra command-line tools. In PHP world it could be a mess detector or program to check the code style. The framework you use also exposes some functionalities to …