4 ms·Is that a Linux distro?by diminish 9y agoIs that a Linux distro?yakcyll 9y agoNot sure (I haven't tried it yet), but the developer manual stub mentions using gnome-terminal.