Mot-clé - code

Fil des billets - Fil des commentaires

Décapiter une branche

Git, allégorie, pour un qui connait Mercurial :-) J’ai fini par comprendre, ce matin, avec l’aide précieuse de ma voisine, ce que le HEAD pouvait bien signifier, pourquoi il était parfois affiché, que le message qui vous dit qu’une branche à été décapitée (detached HEAD) n’est pas grave en soi —  […]

Lire la suite

Ligature

Liste des ligatures proposées par la police FiraCode

Il y a quelques mois (années ?) une nouvelle police de caractère, nommée FiraCode, est sortie. Elle a ceci de particulier qu’elle propose des ligatures qui concernent des combinaisons de caractères souvent utilisées quand on code. Quand je l’ai découverte, je me suis dit aussitôt que c’était une  […]

Lire la suite

Haut de page