To get this to work, first edit /usr/share/gnome-shell/modes/subgraph.json Remove the entry for "firewall@subgraph.com", hit CTRL+F2 and then issue the reload "r" command. Reset these changes to revert back to the old gnome-shell prompt.