documentazione/pages/mydoc/mydoc_strumenti.md

title	sidebar	permalink	folder
Strumenti utili sul server	mydoc_sidebar	mydoc_documentazione.html	mydoc

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/]

{% include links.html %}

{% include links.html %}