diff --git a/homerepo.org b/homerepo.org index b1bb7fc..9fef6ec 100644 --- a/homerepo.org +++ b/homerepo.org @@ -5,7 +5,7 @@ La forma più comune con cui questo metodo viene messo in pratica consiste nella creazione di un repository Git di tipo "bare" nella ~$HOME~ e poi - utlizzarlo con le opzioni standard di Git. + utilizzarlo con le opzioni standard di Git. Git consente infatti di indicare, tramite appositi parametri, sia la directory con i files da tracciare, sia la directory con i suoi dati. @@ -27,17 +27,17 @@ Se si vuole creare un nuovo repository il comando da dare è: ~git init --bare .dotfiles~ - Se invece si vuole clonare un repository remoto il comendo da dare è: + Se invece si vuole clonare un repository remoto il comando da dare è: ~git clone --bare ~ dove con ~~ si indica l'indirizzo da cui clonare con l'accesso http/https o con l'accesso ssh. ** Definizione dell'alias Per rendere più semplice l'operatività si utilizza un alias. - Si può scegliere un qualisi nome per l'alias. + Si può scegliere un qualsiasi nome per l'alias. L'alias va reso disponibile ad ogni login, qui si aggiunge al - ~.bashrc~. Per aggiungerlo si può modiificare il file con un editor + ~.bashrc~. Per aggiungerlo si può modificare il file con un editor o accodarlo con i comandi di shell. Per aggiungere l'alias accodandolo: @@ -61,7 +61,7 @@ Alcuni esempi -*** Aggiuntere un nuovo file all'area di stage +*** Aggiungere un nuovo file all'area di stage ~dotfiles add /path/to/file~ @@ -82,7 +82,7 @@ questo funziona soltanto se il numero di macchine è limitato e si lavora con molta diligenza. - Non è semplice avere dei diff tra le versioni proprio perchè si usa un + Non è semplice avere dei diff tra le versioni proprio perché si usa un repository bare. ~dotfiles reset --hard~ potrebbe causare un infarto.