Heheh that was my oldest a couple years ago. He's 9 now but I let him use one of my laptops when he was like 7 to play Minecraft, and it eventually became "his" laptop.
He's also using Tumbleweed.
He learned how to do all sorts of Minecraft console commands mostly "on his own" (as in, without my guidance, he saw some of the stuff streamers were doing and I explained what it was printed out a little cheat sheet for him and set him off on his own to mess with it. I haven't taught him any Linux shell (yet), but he is getting pretty good at typing and keyboard shortcuts.
I don't much care for the streamers. Especially a lot of the Minecraft streamers that pander to kids (cough Mikey and JJ). I don't allow them in the house anymore. But I'm glad he got some inspiration out of it at least.