Je me rends compte qu'il y a probablement une réponse simple à cette question. Je viens d'Ubuntu (Unity) et j'ai l'habitude de taper des symboles unicode avec Ctrl+ Shift+ U, suivi du code du symbole et Enter.
Cela ne semble pas fonctionner dans Mint 17 (Cinnamon). Je suis allé sur Google et je n'ai pas trouvé de réponse à cela.
Comment entrez-vous des symboles Unicode?
terminator
terminal. Merci, au fait, je ne savais pas que c'était possible.