Shell access to fedora.redhat.com machines