Wiki Ubuntu-it

Indice
Partecipa
FAQ
Wiki Blog
------------------
Ubuntu-it.org
Forum
Chiedi
Chat
Cerca
Planet
  • Pagina non alterabile
  • Informazioni
  • Allegati
  • Differenze per "GruppoDocumentazione/GitLab"
Differenze tra le versioni 10 e 11
Versione 10 del 27/01/2019 23.02.11
Dimensione: 3367
Autore: jeremie2
Commento: Header2
Versione 11 del 19/02/2020 12.23.26
Dimensione: 3929
Autore: jeremie2
Commento: tip
Le cancellazioni sono segnalate in questo modo. Le aggiunte sono segnalate in questo modo.
Linea 26: Linea 26:
A ogni nuovo rilascio e al termine del supporto di una delle versioni di Ubuntu è necessario andare ad aggiornare i link alle rispettive pagine della documentazione ufficiale. È possibile agire in 2 modi: A ogni nuovo rilascio e al termine del supporto di una delle versioni di Ubuntu è necessario andare ad aggiornare i link alle rispettive pagine della documentazione ufficiale. Pertanto la principale modifica da attuare ciclicamente, riguarda il file [[https://code.ubuntu-it.org/ubuntu-it-doc/help/blob/master/www/index.html|index.html]].

È possibile agire in 2 modi:
Linea 28: Linea 30:
 * '''modifica in locale dei file''' cioè clonando il progetto sul proprio pc e quindi apportare le modifiche, verificare il risultato e inviare le modifiche sul repository remoto.<<BR>>Delle due quest'ultima è la procedura consigliata (./)  * '''modifica in locale dei file''' cioè clonando il progetto sul proprio pc e quindi apportare le modifiche, verificare il risultato e inviare le modifiche sul repository remoto.
Linea 33: Linea 35:
 {{{#!wiki tip
È tuttavia consigliabile scaricare in locale, facendo clic sui pulsanti ''Download'' con icona a forma di nuvola, il file [[https://code.ubuntu-it.org/ubuntu-it-doc/help/blob/master/www/index.html|index.html]] e la directory [[https://code.ubuntu-it.org/ubuntu-it-doc/help/tree/master/www/libs|libs]] che dovrà essere estratta dal file compresso. In questo modo sarà possibile verificare localmente le modifiche da attuare al file html.
}}}
Linea 45: Linea 50:
}}}sostituendo ''`you@example.com`'' con il proprio.{{{ }}}sostituendo `you@example.com` con il proprio.{{{
Linea 47: Linea 52:
}}}sostituendo ''Your Name'' col proprio username. }}}sostituendo `Your Name` col proprio username.


Introduzione

Il codice sorgente dei portali di Ubuntu-it (o almeno parte di essi) è stato nel tempo trasferito da launchpad.net a code.ubuntu-it.org che si avvale della piattaforma GitLab per la gestione di repository Git.

Per quanto riguarda i progetti del Gruppo Documentazione, viene gestito tramite GitLab il portale help.ubuntu-it.org. In questa pagina viene mostrato come interagire con la piattaforma.

Requisiti

Accesso a code.ubuntu-it.org

Aggiornare il codice

A ogni nuovo rilascio e al termine del supporto di una delle versioni di Ubuntu è necessario andare ad aggiornare i link alle rispettive pagine della documentazione ufficiale. Pertanto la principale modifica da attuare ciclicamente, riguarda il file index.html.

È possibile agire in 2 modi:

  • modifica diretta sul repository remoto ospitato su code.ubuntu-it.org attraverso l'editor di testo integrato in GitLab;

  • modifica in locale dei file cioè clonando il progetto sul proprio pc e quindi apportare le modifiche, verificare il risultato e inviare le modifiche sul repository remoto.

Modifica diretta su code.ubuntu-it.org

  1. Dalla pagina https://code.ubuntu-it.org/ubuntu-it-doc/help sfogliare le cartelle e selezionare il file da modificare (nel nostro caso www/index.html).

    È tuttavia consigliabile scaricare in locale, facendo clic sui pulsanti Download con icona a forma di nuvola, il file index.html e la directory libs che dovrà essere estratta dal file compresso. In questo modo sarà possibile verificare localmente le modifiche da attuare al file html.

  2. Fare clic su Edit e apportare le modifiche.

  3. Apportate le modifiche fare clic su Commit changes.

Modifica in locale

Preparativi

  1. Installare Git:

    sudo apt install git
  2. Impostare indirizzo email e nome utente utilizzati su code.ubuntu-it.org:

    git config --global user.email "you@example.com"

    sostituendo you@example.com con il proprio.

    git config --global user.name "Your Name"

    sostituendo Your Name col proprio username.

Attuare le modifiche

  1. Clonare il progetto nella propria Home digitando nel terminale:

    git clone git@code.ubuntu-it.org:ubuntu-it-doc/help.git
  2. Spostarsi all'interno della cartella scaricata:

    cd help
  3. Apportare le modifiche al file index.html.

  4. Aggiungere i file al repository locale:

    git add .
  5. Applicare le modifiche fatte:

    git commit -a -m "Breve messaggio per le modifiche effettuate"
  6. Caricare le modifiche sul repository remoto:

    git push

Ulteriori risorse


CategoryComunitaDocumentazione