Forum |  HardWare.fr | News | Articles | PC | S'identifier | S'inscrire | Shop Recherche
1675 connectés 

  FORUM HardWare.fr
  Linux et OS Alternatifs
  Codes et scripts

  dir_colors : police grasse

 


 Mot :   Pseudo :  
 
Bas de page
Auteur Sujet :

dir_colors : police grasse

n°309887
Taz
bisounours-codeur
Posté le 19-08-2003 à 21:57:23  profilanswer
 

voilà, j'ai une problème bête.
quand je fais ls, beaucoup d'entrées apparaissent en gras (en sus de la couleur)
 
je me suis dit que ça venait de dircolors
pourtant sur ma RH9 (la je suis sous debian), pas des gras
dircolors -p me donne la meme chose sur les 2 PC: mais l'un affiche du gras (conforménent) et l'autre pas. mais quand j'essaie de modifier les réglages, rien n'y fait, ça n'a d'impact nulle part (ne serait ce pour les couleurs...)
 
une idée?
 

mood
Publicité
Posté le 19-08-2003 à 21:57:23  profilanswer
 


Aller à :
Ajouter une réponse
  FORUM HardWare.fr
  Linux et OS Alternatifs
  Codes et scripts

  dir_colors : police grasse

 

Sujets relatifs
[xine] problème avec la police de caractèreéquivalence de police
[Tkinter -tk] Problème de policeVous utilisez quelle police pour votre terminal ?
[firebird] Menus trop gros et pas de police jap...opera sous linux -> police - belles sur la 6 que sur la 5
changer la taille de police dans EtermProblème de police sous Mozilla
Comment avoir une police de caractère aussi belle sous Windows???gnome-gv : police illisible, comment en changer
Plus de sujets relatifs à : dir_colors : police grasse


Copyright © 1997-2022 Hardware.fr SARL (Signaler un contenu illicite / Données personnelles) / Groupe LDLC / Shop HFR