Blog
Notes on the tools I use, mostly written so future me stops googling the same thing. Subscribe via RSS.
4 min read
How to Customize the GRUB Theme on Fedora
Change the GRUB2 boot menu theme on Fedora step by step: install a theme, edit /etc/default/grub, regenerate grub.cfg, and fix the usual problems.
8 min read
My Windows PowerShell Setup: Oh My Posh, Nerd Fonts and Autocomplete
How I set up Windows Terminal and PowerShell: Scoop, a Nerd Font, an Oh My Posh prompt, Terminal-Icons, PSReadLine autocomplete and handy profile functions.
5 min read
Git Stash: A Practical Beginner's Guide
A practical git stash guide with real examples: save work, switch branches, name and apply stashes, stash untracked files, fix conflicts and recover drops.
