Annexe 4: suggérer une modification à ce manuel #

Obtenir les sources #

Le dépôt source est ici : https://github.com/cartesjava/cartesjava.github.io

Suggérer une modification #

1. Au bas de la page à modifier, cliquer sur Modifier cette page.

   

2. Se connecter à GitHub.

3. La première fois uniquement :

   • « Forker » le dépôt.

     

4. Modifier le source de la page directement dans votre navigateur.

   

5. Décrire votre modification (commentaire de commit).

   

6. Créer un « pull request » pour communiquer votre suggestion au propriétaire du dépôt d’origine :

   • Étape 1.

     

   • Étape 2.

     

7. Attendre que le propriétaire du dépôt d’origine évalue votre suggestion.

Modifier le manuel en local #

1. Installer Hugo sur votre machine.

2. Faire la commande suivante pour cloner le dépôt Git :

   $ git clone https://github.com/cartesjava/cartesjava.github.io.git
   

3. La racine de ce dépôt Git est le répertoire contenant les fichiers suivants :

   ├── archetypes
   ├── assets
   ├── config.yaml
   ├── content
   ├── docs
   ├── .git
   ├── .gitignore
   ├── i18n
   ├── layouts
   ├── nodes
   ├── parametres01.png
   ├── parametres02.png
   ├── parametres03.png
   ├── README.md
   ├── resources
   ├── scripts
   ├── src
   └── static
   

4. Pour ouvrir un GitBash à la racine du dépôt Git, faire :

   1. Démarrer un explorateur de fichier Windows.

   2. Naviguer jusqu’à la racine de dépôt Git.

   3. Clic-droit => Git Bash Here

      

5. Démarrer Hugo à la racine du dépôt Git cartesjava.github.io

   $ hugo server
   

6. Naviguer vers localhost:1313

7. Voici les fichiers et répertoires importants :

   ├── assets            # répertoire avec les .css
   ├── config.yaml       # configuration du site
   ├── content           # sources pour le contenu
   │   ├── annexes         
   │   ├── approche
   │   ├── arbres
   │   ├── bibliographie
   │   ├── conclusion
   │   ├── efficacite
   │   ├── _index.md
   │   ├── intro
   │   ├── listes
   │   ├── mappages
   │   ├── modelisation
   │   ├── preface
   │   └── procedures
   ├── docs             # fichiers .html pour publication
   ├── src              # sources pour les extensions à Hugo
   └── static           # images et fichiers statiques
   

Modifier directement la version publique de ce manuel #

1. Vous devez avoir les droits en écriture pour le dépôt Git.

2. Voir le README sur la page Web du dépôt :

   • https://github.com/cartesjava/cartesjava.github.io