That's a fantastic goal! Encouraging kids to learn programming at a young age can be really beneficial. Here are a few resources for kid-oriented programming lessons on Linux or the web:

1. Scratch: Scratch is a visual programming language designed specifically for young learners. It's user-friendly and offers a fun way to create interactive stories, games, and animations.

2. Code.org: Code.org provides free coding courses for kids, including an intro to computer science course that teaches them the basics of coding through fun activities and games.

3. Khan Academy: Khan Academy offers interactive programming lessons in various languages like JavaScript and HTML/CSS. The platform has engaging exercises that gradually introduce key coding concepts.

4. Codecademy: Though not explicitly focused on kids, Codecademy offers beginner-friendly courses that teach various languages such as Python and JavaScript. With its hands-on approach, it can be a great option for older children looking to dive into coding.

Remember, learning programming should be enjoyable for kids! So let them explore different resources and find what sparks their interest the most. Happy coding adventures with your little ones!