54 lines
1.1 KiB
Markdown
54 lines
1.1 KiB
Markdown
---
|
|
title: Strumenti utili sul server
|
|
sidebar: mydoc_sidebar
|
|
permalink: mydoc_documentazione.html
|
|
folder: 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 %}
|