Changer la taille de la police d'un caractère unicode dans mon invite bash
J'ai implémenté une invite personnalisée bash en exportant PS1 dans mon .bashrc, mais j'utilise un caractère unicode qui apparaît très petit, sauf si la taille de la police est modifiée. Malheureusement, cela signifie que le texte a l'air ridicule. Existe-t-il un moyen de modifier uniquement la taille de la police de ce caractère unique afin de la rendre plus visible?
Il n'y a pas de code d'échappement pour la taille du texte ( source ). Par conséquent, il n'y a aucun moyen de redimensionner un seul caractère dans le terminal.
Votre meilleur choix sera de parcourir Unicode et de trouver une version plus grande du même caractère. Ou vous pouvez rendre le personnage audacieux.