documentazione/pages/mydoc/mydoc_strumenti.md

55 lines
1.1 KiB
Markdown
Raw Permalink Normal View History

2019-01-18 18:12:53 +01:00
---
title: Strumenti utili sul server
sidebar: mydoc_sidebar
2019-01-20 16:53:50 +01:00
permalink: mydoc_documentazione.html
2019-01-18 18:12:53 +01:00
folder: mydoc
---
2019-01-20 16:53:50 +01:00
## Come contribuire alla documentazione
2019-01-18 18:12:53 +01:00
2019-01-20 16:53:50 +01:00
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 .
2020-02-19 18:02:24 +01:00
2019-01-20 16:53:50 +01:00
così si aggiungono tutte, oppure si aggiungono una per una con il loro percorso, esempio:
git add pages/mianuovapagina.md
2020-02-19 18:02:24 +01:00
A questo punto committare in locale e poi pushare in remoto:
git commit -m "descrizione restore backup"
git push origin master
2020-02-13 23:59:05 +01:00
2020-02-19 18:02:24 +01:00
Per aggiungerle delle pagine al menù a lista a sinistra, editare il file di config :
2020-02-13 23:59:05 +01:00
2020-02-19 18:02:24 +01:00
CA_doc/_data/sidebars/site_sidebar.yml
2020-02-13 23:59:05 +01:00
2020-02-19 18:02:24 +01:00
Altre info:
2020-02-13 23:59:05 +01:00
2020-02-19 18:02:24 +01:00
(Thema jekyll minimal mistakes)[https://mmistakes.github.io/minimal-mistakes/docs/structure/]
2019-01-20 16:53:50 +01:00
{% include links.html %}
2019-01-18 18:12:53 +01:00
{% include links.html %}