Git on Michele Bologna

git: deleting remote tracked branches

Wed, 28 Dec 2016 00:00:00 +0000

Since I’m always DuckDuckGo-ing for these information, I’ll set a note here for future reference and for all of you, fellow readers.

Situation: one (or more) remote-tracked git branches got deleted (either locally or remote). You are in either one of the two cases following:

git tip: multiple identities

Fri, 19 Aug 2016 00:00:00 +0000

If you are using git version control for personal and work repositories, it is tricky to change your email address (in ~/.gitconfig) to properly use the correct email before committing to a repo (this is what I do, depending on the nature of the repo: personal repo -> personal email, work repo -> work email).

git-flow: il modello di git workflow che utilizzo

Sat, 23 Nov 2013 00:00:00 +0000

Dopo aver letto l’interessante presentazione “How GitHub uses GitHub to build GitHub”, ho deciso di dare un’occhiata al modello di workflow chiamato git-flow [che si basa, ovviamente, sull’utilizzo di git]. In sintesi:

zsh: perché non utilizzo bash

Sat, 08 Dec 2012 00:00:00 +0000

Su tutte le macchine Linux e OSX che amministro non uso come shell di default la bash; uso invece zsh, perché:

zsh si offre di completare anche le opzioni e i parametri dei programmi più usati;
zsh fa spelling correction dei comandi digitati, chiedendo interattivamente se volete correggere il comando;
zsh offre una customizzazione più spinta della bash (vedremo tra poco il mio prompt);
zsh condivide la history tra più sessioni attive contemporaneamente;
zsh è già installata, di default, su OSX (ed è nei repo di Ubuntu, percui basta un aptitude install zsh).

Se questi vantaggi non dovrebbero bastare, ecco il mio prompt:

Impariamo git con un semplice tutorial

Thu, 30 Aug 2012 00:00:00 +0000

GitHub, il social hoster di codice open source più famoso degli ultimi anni, ha messo a disposizione un semplice tutorial per imparare le basi di git, il SCM ideato da Linus Torvalds e lo standard de facto dei progetti open source.

gitignore: un filtro per escludere i file da non versionare in un repository git

Tue, 06 Dec 2011 00:00:00 +0000

Prima di fare un push su un repository git è importante avere configurato il gitignore, ovvero specificare quali files non devono essere versionati in un repository git. A titolo di esempio: i file .pyc, o più in generale i prodotti della compilazione di un qualsiasi file di sorgente; versionare questi files, infatti, non ha senso.