I’m a die hard Linux user. I don’t spend much time telling people about it outside of actual tech conversations that should include the topic. I did raise my kids with a lot of Linux desktop use on their machines. They uniformly find the Windows 10/11 experience to be horrible, so I guess I’ve managed success on that front.
The crazy moment was when one kid was about 10 years old and he busted open the terminal without promoting to get something done. He already knew it was faster and more powerful so he just started learning the tools.
I danced a little jig in my head once I realized what had just happened.
@azimir
All I will say is your kid is smart and you should be a very proud man :)
I suggest as a linux dude myself, keep encouraging him :D and as an extra suggestion if he wants to learn more about Linux see if he wants to try out arch linux because that has taught me a lot over the time I have used it :D