Using qterminal in place of gnome-terminal works, so I think the server crash may be the only Mir problem here.
Using qterminal in place of gnome-terminal works, so I think the server crash may be the only Mir problem here.