Je viens d'installer Linux Mint avec Chrome comme navigateur et j'ai un problème avec les pdf. A chaque fois que je télécharge un pdf avec Chrome quand je clique pour ouvrir le document Chrome essaie de l'ouvrir avec Gimp (ce qui n'est pas le plus approprié...

Lire la suite

Par défaut gitk n'affiche que la branche courante ce qui n'est pas très pratique pour savoir où on en est par rapport aux autres devs. Heureusement il est possible d'afficher simultanément toutes les branches avec l'option --all gitk --all affiche ainsi...

Lire la suite

Un repo distant sous git s'appelle un remote et la commande pour connaitre les remotes est donc simplement : $ git remote origin On voit ici que ce projet a un seul repo distant (mais il pourrait y en avoir plusieurs). Ce remote est celui à partir duquel...

Lire la suite