A gentle introduction to Linux and Puppet for non-technical people