Re: [libvirt] [jenkins-ci PATCH 06/10] guests: Move $PATH configuration to shell profile