A new take on a configuration management system for Linux