Alors d'abord j'avais la même police sous DOS au début des années 90, c'était joli à l'époque parce qu'on avait des écrans avec très peu de pixels (exactement comme ta capture d'écran d'ailleurs, c'est marrant comme coïncidence), mais comme je la regarde en 2015 sur un écran 3k et que j'ai dû détruire la molette de ma souris à force de zoomer pour voir quand même la police, du coup je la trouve plus parfaite du tout.
Ensuite t'as des goûts musicaux de chiottes. Et oui on est trolldi, je confirme.
[^] # Re: gnome-terminal
Posté par DerekSagan . En réponse au sondage Quel terminal utilisez-vous ?. Évalué à 10.
Alors d'abord j'avais la même police sous DOS au début des années 90, c'était joli à l'époque parce qu'on avait des écrans avec très peu de pixels (exactement comme ta capture d'écran d'ailleurs, c'est marrant comme coïncidence), mais comme je la regarde en 2015 sur un écran 3k et que j'ai dû détruire la molette de ma souris à force de zoomer pour voir quand même la police, du coup je la trouve plus parfaite du tout.
Ensuite t'as des goûts musicaux de chiottes. Et oui on est trolldi, je confirme.
Bisous.