Aggiornare le raccolte in massa

Introduzione

La repository cartabinaria/update contiene un semplice script Bash per applicare le stessa patch (in formato .diff) a tutte le repository degli insegnamenti in un colpo solo.

Prima di cominciare

Per ogni repository, le password di eventuali chiavi ssh e gpg vengono chieste da git circa 4 volte. Per prevenire questo, si può ricorrere a una delle seguenti due alternative:

• rimuovere tutte le password dalle proprie chiavi ssh e gpg;
• lanciare gli agenti ssh e gpg per aggiungerle alla cache.

Uso

Entra in una repo in cui hai già effettuato le modifiche che ti interessano:

cd /la/mia/repository/

Crea la pezza patch.diff tramite:

git diff <last origin commit> > la/repository/di/update/patch.diff

Spostati in questa cartella:

cd /la/repository/di/update/

Applica la pezza con il messaggio di commit che preferisci:

./update <messaggio di commit>