Come contribuire alla documentazione
Da un terminale si installa git
apt install git
Ci si apre un account su git.lattuga.net
Si apre sul proprio pc un terminale si digita:
git clone https://git.lattuga.net/campiaperti/documentazione.git
cd documentazione
E si modificano le pagine dentro a pages/
esempio: documentazione/pages/mydoc/mydoc_introduction.md
poi si fa
git status
e si vedono le pagine modificate, se sono giuste si fa git add .
così si aggiungono tutte, oppure si aggiungono una per una con il loro percorso, esempio:
git add pages/mianuovapagina.md
A questo punto committare in locale e poi pushare in remoto:
git commit -m "descrizione restore backup"
git push origin master
Per aggiungerle delle pagine al menù a lista a sinistra, editare il file di config :
CA_doc/_data/sidebars/site_sidebar.yml
Altre info:
(Thema jekyll minimal mistakes)[https://mmistakes.github.io/minimal-mistakes/docs/structure/]