Live Linux: lsblk output From the Live Linux, you can now access and modify all your drives/partitions. In this case, /dev/nvme0n1p3 is the root partition of the installed Linux system.

What is a Live Linux, Where do I get it?

In my mission on making things easily googleable and helping others, I have a new blog post for you today. From time to time, one needs to boot into a Live Linux (also “Linux Live system”) to repair things that can’t be repaired from a running Linux system, to test a new Linux distribution, or to update the partition scheme of your system’s main drive. But I think that with the existing guides Read more…

I switched to another NixOS Configuration and deleted my main user

… Now I can’t log in and my system is broken. This is what essentially happened to me recently 😄. Luckily, I was able to fix my system. But let’s go through what happened step by step. Disclaimer: This guide is not meant for absolute Linux beginners. To follow the guide, you need to understand the basics of NixOS, how to work with a shell, and how to mount partitions. Also, this guide Read more…

Properly configure `typos` in `pre-commit-hooks.nix`

typos is the new shining star in the sky of source code spell checkers. pre-commit-hooks.nix is a seamless integration of https://pre-commit.com git hooks with Nix. And we can combine both of them! Update 2024-01-16: Unfortunately, the whole story is more complicated than anticipated. Follow the upstream discussion for more details. I am going to update this blog post once the upstream discussion is resolved. Update 2024-01-12: I just contributed the pass_filenames = false option as Read more…