Je n'arrive pas à le configurer pour avoir des polices grasses (bold fonts). Du coup, malgré des choses intéressantes, ce n'est pas utilisable. Aussi : je n'ai pas trouvé comment ouvrir une nouvelle fenetre avec le même dossier courant ? Sur la plupart des terminaux je fais Ctrl+Maj+N.
[^] # Re: Si tu montres à un vrai geek un super truc sur ton ordi, il regardera tout le reste sauf ça
Posté par Maxime (site web personnel) . En réponse au journal Gérer son espace de travail git avec "gws". Évalué à 2.
Je n'arrive pas à le configurer pour avoir des polices grasses (bold fonts). Du coup, malgré des choses intéressantes, ce n'est pas utilisable. Aussi : je n'ai pas trouvé comment ouvrir une nouvelle fenetre avec le même dossier courant ? Sur la plupart des terminaux je fais Ctrl+Maj+N.