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 1 e 11 (in 10 versioni)
Versione 1 del 21/07/2018 22.43.08
Dimensione: 3053
Autore: jeremie2
Commento:
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 3: Linea 3:
<<Include(GruppoDocumentazione/Header)>> <<Include(GruppoDocumentazione/Header2)>>
Linea 17: Linea 17:
 * Contattare il [[GruppoSistemisti|Gruppo Sistemisti]] per essere abilitati all'utilizzo della piattaforma.  * Contattare [[https://code.ubuntu-it.org/groups/admins/-/group_members|uno degli amministratori]] (o scrivere a [[mailto:support@code.ubuntu-it.org|questo indirizzo email]] per essere abilitati all'utilizzo della piattaforma.
Linea 22: Linea 22:
 * All'indirizzo https://code.ubuntu-it.org/ubuntu-it-doc/help è presente il codice help.ubuntu-it.org  * All'indirizzo https://code.ubuntu-it.org/ubuntu-it-doc/help è presente il codice di help.ubuntu-it.org
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:
 * '''modifica diretta dei file''' attraverso l'editor di testo integrato in '''!GitLab''';
 * '''modifica in locale dei file''', cioè scaricando sul proprio pc i file del progetto, apportare le modifiche ed eseguire l'upload.
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]].
Linea 30: Linea 28:
== Modifica diretta == È 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 ==
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 38: Linea 43:
 0. Eseguire il download del progetto nella propria '''Home''' digitando nel terminale:{{{ === Preparativi ===

 0. Installare '''Git''':{{{
sudo apt install git
}}}
 0. 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 ===

 0. Clonare il progetto nella propria '''Home''' digitando nel terminale:{{{
Linea 45: Linea 63:
 0. Caricare le modifiche sul server attraverso i seguenti comandi:{{{  0. Aggiungere i file al repository locale:{{{
Linea 47: Linea 65:
}}}{{{
git commit -m "Breve messaggio per le modifiche effettuate"
Linea 50: Linea 66:
 Se dopo quest'ultimo comando dovesse essere richiesta la vostra identità:
  0. digitare il seguente comando per settare la propria email:{{{
  git config --global user.email "you@example.com
}}}sostituendo ''you@example.com'' con il proprio indirizzo email utilizzato su code.ubuntu-it.org.
  0. Per impostare il proprio username digitare:{{{
  git config --global user.name "Your Name"
}}}sostituendo ''Your Name'' col proprio username utilizzato su code.ubuntu-it.org.<<BR>>Ripetere quindi il commit.
 {{{
 0. Applicare le modifiche fatte:{{{
git commit -a -m "Breve messaggio per le modifiche effettuate"
}}}
 0. Caricare le modifiche sul repository remoto:{{{
Linea 61: Linea 73:
= Ulteriori risorse =

 * [[Programmazione/Git/Commit|Guida a Git]]


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