Parsers: from raw data to stores

kora d4ccf0b318 lemmario-v4-work-in-progress 1 year ago
ASPO 05a939879e add lemmario_v4 1 year ago
CONTROLLER VIRTUOSO 6ca5eb00b8 Upload all 2 years ago
DATA 147a005fab gestione iperlemmi per EVT 1 year ago
FORMS 8d2cfec752 update FORMS 2 years ago
MPP 05a939879e add lemmario_v4 1 year ago
OVI d4ccf0b318 lemmario-v4-work-in-progress 1 year ago
VARIE 05a939879e add lemmario_v4 1 year ago
corali 00232c67f7 update branch 2 years ago
.gitignore 60ea0fc561 new_tests 2 years ago
README.md b960cd591c Aggiorna 'README.md' 2 years ago
test.xml 05a939879e add lemmario_v4 1 year ago
test_new.xml 05a939879e add lemmario_v4 1 year ago

README.md

CREARE REPOSITORY REMOTO

  1. Creare la repo sul sito (su GOGS o quel che sia)
  2. Darsi i permessi necessari, se serve
  3. Sulla cartella del progetto digitare

     a: git init
     b: git add
     c: git commit -m "messaggio-a-piacere"
     d: git remote add origin URL_DELLA_REPO
     e: git push -u origin master
    

Giusto per capire, i comandi fanno le seguenti cose:

  • a: apre una repo vuota nella cartella
  • b: aggiunge tutti i files nella cartella alla versione attuale, temporanea, della repo
  • c: fa il commit, ovvero crea un'istantanea rintracciabile del codice al punto in cui è, in base alla versione attuale
  • d: dice alla repo che da lì in poi si dovrà sincronizzare con l'URL remoto che gli avete passato
  • e: fa un push (ovvero copia il commit) dalla versione locale a quella remota, nel branch specificato (quello dopo origin, in questo caso "master" che è il default). Questo significa che il commit viene registrato in remoto (ed è scaricabile da altri); il bello del sistema è che i commit precedenti NON sono persi, si possono sempre ripristinare.