Managing Linux using puppet