Altere o tamanho da fonte de um caractere unicode no prompt do bash

Question

Eu implementei um prompt bash personalizado exportando o PS1 em meu .bashrc, mas estou usando um caractere unicode que parece muito pequeno, a menos que o tamanho da fonte seja alterado. Infelizmente isso significa que o texto parece ridículo. Existe uma maneira de mudar apenas o tamanho da fonte daquele caractere único para um maior, de modo a torná-lo mais claramente visível?

    

Answer 1

Não há código de escape para o tamanho do texto ( source ). Portanto, não há como redimensionar um único caractere no terminal.

Sua melhor aposta será olhar através do Unicode e encontrar uma versão maior do mesmo personagem. Ou você pode tornar o personagem ousado.