Comment changer la taille de la police de l'invite dans bash?
J'aimerais pouvoir identifier facilement l'invite (username@PCname) dans un tas de texte.
Je sais que sa couleur peut être changée et que l'invite peut être modifiée pour montrer ce que nous voulons. Mais comment puis-je changer la taille de la police de l'invite?
Malheureusement, ce n'est pas possible. L'invite et le texte de sortie sont techniquement le même objet. Le texte ne se trouve pas dans des boutons/objets de fenêtre distincts pour définir une police différente pour chacun.
En guise d'alternative, envisagez les actions suivantes:
- utilisez séquences de contrôle pour le mettre en surbrillance ou apparaître en gras.
- utiliser les majuscules Prompt.
- étalez l'invite sur plusieurs lignes