Rendez-vous sur Arrakis, Le site perso d'un hacker libriste curieux crêpophile étourdi
Le 18/05/2019 à 06:43 dans /Logiciel-libre/Suckless/dmenu/

Insérer des symboles spéciaux (unicode)

Voici un petit script qui vous permet de choisir et coller rapidement des symboles spéciaux de type “caractère unicode”.

Remarquez que vous pouvez très bien remplacer un symbole par une séquence/phrase que vous répétez souvent.

Téléchargement du script.

Aperçu :