Ubuntu Mate: Get rid of F12 drop-down terminal

To get your F12 key back for other shortcuts, stop Tilda:

killall tilda

To prevent Tilda from starting on boot you can remove it

sudo apt-get remove tilda

or disable auto start:

Henning Koch

Last edit

2017-03-23

Daniel Straßner

Keywords

console, shell

License

Source code in this card is licensed under the MIT License.

Posted by Henning Koch to makandra dev (2016-09-26 08:46)