Spell checking

This commit is contained in:
biotti 2021-06-28 13:02:43 +02:00
parent 124d59d4cd
commit d8111e050a
1 changed files with 6 additions and 6 deletions

View File

@ -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 <url>~ dove con ~<url>~ 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.