Paolo Redaelli personal blog

Category: Tricks

An happy end

Today I was installing Debian on the old laptop of my sister-in-law. We bought it in first place in 2016 for my daughter, with Windows 10, “because of compatibility”, because at school they “required” the proprietary OS. Then we discovered that it wasn’t required that much so I installed Ubuntu in multi-boot with Windows, and…

Manually updating font list

This is not needed if you use high-level facilities, but in case of manual, low level manipulation of fonts repositories in your machine just issue fc-cache -f -v to update the available font lists. I looked for it far too many times; taken https://askubuntu.com/questions/3697/how-do-i-install-fonts