Archives de catégorie : Utilitaires

Git — « Poussez madame ! »

Un très court billet pour expliquer, avant que je n’oublie !

Pour un projet perso, j’utilise actuellement le gestionnaire de versions Git (de manière générale aussi, d’ailleurs). Mais je veux que quand je pousse (push) une modification, cela la transmette non seulement sur un dépôt en local, mais également sur un dépôt extérieur type Bitbucket ou GitHub… Un push sur de multiples dépôts d’un seul coup, quoi.

« There’s more than one way to do it » .

Ceci étant dit, voici une méthode comme une autre (que j’utilise). Elle consiste à modifier le fichier de configuration du dépot (racine/du/dépôt/.git/config), et d’ajouter une branche remote ciblant les URLs de tous les dépôts voulus (ici très originalement appelée « all ») :

[remote "all"]
url = my/local/repo.git
url = git@bitbucket.org:my/bitbucket.git

etc...

Ensuite quand on fait un push, il suffit de faire « git push all » et ça pousse les modifications sur toutes les remotes concernées !

Joie ! 🙂

Man Vs. Gnome 3 : Premier chapitre

 

man vs gnome 3
À la découverte de l'inconnu...

Depuis quelques temps, niveau Linux je me suis stabilisé sous Debian Testing (Wheezy). Le truc marrant, c’est que la dernière fois que je l’ai réinstallée, j’ai eu la surprise de voir qu’elle était livrée avec Gnome 3 et son Gnome Shell.

Or moi et Gnome 2, c’est un peu comme un vieux couple : on s’engueule de temps en temps, on essaye parfois d’aller voir ailleurs, des Desktop Environments comme KDE ou XFCE aux plus sobres (mais très bons) Window Managers comme Fluxbox, Openbox, mais finalement, on finit toujours ensemble à nouveau…

Du coup, moi qui était jusqu’à ce jour un adepte de Gnome 2 «Classic», n’ayant jamais utilisé Gnome 3, j’ai pris le parti d’essayer de survivre dans ce nouvel environnement…

Continuer la lecture de Man Vs. Gnome 3 : Premier chapitre