Skip to content

Commit 90d7f14

Browse files
phyverphyver
committed
work on gsh man page, first version of French manpage, italian templates
NOTE for italian translator The files are located in $GSH_ROOT/i18n/source/gsh-commands/it The files commands_admin.txt commands_dev.txt commands_misc.txt commands_standard.txt were extracted from the $GSH_ROOT/i18n/gsh-full-help/it.txt and shouldn't require modifications. (Note that the trailing "+" symbols are there to indicate hard line breaks and should be kept.) The file gsh_help.txt is the header used with commands_standard.txt to generate the output of the "gsh help" command. It was extracted from the $GSH_ROOT/i18n/gsh-help/it.txt and shouldn't require modifications. That leaves 2 files: gsh_full_help.txt It is used to wrap the commands_*.txt files to generate the output of the "gsh HELP" command. You can translate the section titles and the reference to the manpage. (If you don't feel an italian manpage is important, you can either remove the first few lines, or say that the manpage is in English.) man_gsh.txt It is used to generate the manpage (with asciidoc) with the commands_*.txt files. It contains additional comments / explanations about GameShell. If you do translate it, don't forget to add your name somewhere! You can generate each of the output files with $ make it.1 $ make it.help The command $ make install should install the files in the appropriates directories. NOTE that the manpage is still a work in progress, and I'm still not sure that's the final version. Translating it is thus not a priority at this point.
1 parent 907dce9 commit 90d7f14

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

56 files changed

+1497
-208
lines changed

‎.gitignore‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@ TODO
88
.save
99
World
1010
locale/
11-
man/en
1211
*~
1312
/gameshell*
1413
game shell*

‎README-it.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ GameShell: un "gioco" per insegnare il terminale Unix
33

44
![Disegno ispirato dal gioco](Images/illustration-small.png)
55

6-
Insegnare a studenti universitari o delle superiori a usare un terminale Unix non é la cosa piú semplice o divertente. Gameshell è stato creato come strumento per aiutare gli studenti alla [Université Savoie Mont Blanc](https://univ-smb.fr) per fare pratica con un terminale *reale* e imparare divertendosi.
6+
Insegnare a studenti universitari o delle superiori a usare un terminale Unix non é la cosa piú semplice o divertente. GameShell è stato creato come strumento per aiutare gli studenti alla [Université Savoie Mont Blanc](https://univ-smb.fr) per fare pratica con un terminale *reale* e imparare divertendosi.
77

88
L'idea originale, di Rodolphe Lepigre, era di avere una sessione da terminale standard, con una configurazione specifica via file, definiti "missioni", che potessero essere "validati" tramite i progressi nel gioco.
99

‎i18n/en.po‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
# AUTOMATICALLY GENERATED -- DO NOT EDIT
22
#, sh-format
3-
msgid "$GSH_ROOT/i18n/gameshell-full-help/en.txt"
4-
msgstr "$GSH_ROOT/i18n/gameshell-full-help/en.txt"
3+
msgid "$GSH_ROOT/i18n/gsh-full-help/en.txt"
4+
msgstr "$GSH_ROOT/i18n/gsh-full-help/en.txt"
55

66
#, sh-format
7-
msgid "$GSH_ROOT/i18n/gameshell-help/en.txt"
8-
msgstr "$GSH_ROOT/i18n/gameshell-help/en.txt"
7+
msgid "$GSH_ROOT/i18n/gsh-help/en.txt"
8+
msgstr "$GSH_ROOT/i18n/gsh-help/en.txt"
99

1010
#, sh-format
1111
msgid "$GSH_ROOT/i18n/gameshell-init-msg-short/en.txt"
@@ -166,8 +166,8 @@ msgstr "Error: wrong password."
166166
msgid "Error: you are not allowed to run this command."
167167
msgstr "Error: you are not allowed to run this command."
168168

169-
msgid "Error: you shouldn't run Gameshell as root!"
170-
msgstr "Error: you shouldn't run Gameshell as root!"
169+
msgid "Error: you shouldn't run GameShell as root!"
170+
msgstr "Error: you shouldn't run GameShell as root!"
171171

172172
msgid "Is this information correct? [Y/n]"
173173
msgstr "Is this information correct? [Y/n]"
@@ -201,8 +201,8 @@ msgid "The directory $GSH_CONFIG contains meta-data from a previous game.\n"
201201
msgstr "The directory $GSH_CONFIG contains meta-data from a previous game.\n"
202202
"Do you want to remove it and start a new game? [y/N]"
203203

204-
msgid "The latest version of Gameshell is available at"
205-
msgstr "The latest version of Gameshell is available at"
204+
msgid "The latest version of GameShell is available at"
205+
msgstr "The latest version of GameShell is available at"
206206

207207
msgid "There are stopped jobs in your session.\n"
208208
"Those processes will be terminated.\n"

‎i18n/fr.po‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -4,12 +4,12 @@ msgstr "Content-Type: text/plain; charset=UTF-8\n"
44
"Plural-Forms: nplurals=2; plural=n>1;\n"
55

66
#, sh-format
7-
msgid "$GSH_ROOT/i18n/gameshell-full-help/en.txt"
8-
msgstr "$GSH_ROOT/i18n/gameshell-full-help/fr.txt"
7+
msgid "$GSH_ROOT/i18n/gsh-full-help/en.txt"
8+
msgstr "$GSH_ROOT/i18n/gsh-full-help/fr.txt"
99

1010
#, sh-format
11-
msgid "$GSH_ROOT/i18n/gameshell-help/en.txt"
12-
msgstr "$GSH_ROOT/i18n/gameshell-help/fr.txt"
11+
msgid "$GSH_ROOT/i18n/gsh-help/en.txt"
12+
msgstr "$GSH_ROOT/i18n/gsh-help/fr.txt"
1313

1414
#, sh-format
1515
msgid "$GSH_ROOT/i18n/gameshell-init-msg-short/en.txt"
@@ -170,8 +170,8 @@ msgstr "Erreur : mauvais mot de passe."
170170
msgid "Error: you are not allowed to run this command."
171171
msgstr "Erreur : vous n'avez pas le droit d'exécuter cette commande."
172172

173-
msgid "Error: you shouldn't run Gameshell as root!"
174-
msgstr "Erreur: il ne faut pas lancer Gameshell avec l'utilisateur root !"
173+
msgid "Error: you shouldn't run GameShell as root!"
174+
msgstr "Erreur: il ne faut pas lancer GameShell avec l'utilisateur root !"
175175

176176
msgid "Is this information correct? [Y/n]"
177177
msgstr "Est-ce que ces informations sont correctes ? [O/n]"
@@ -206,8 +206,8 @@ msgid "The directory $GSH_CONFIG contains meta-data from a previous game.\n"
206206
msgstr "Le répertoire $GSH_CONFIG contient des méta-données provenant d'une partie précédente.\n"
207207
"Voulez vous les supprimer et commencer une nouvelle partie ? [o/N]"
208208

209-
msgid "The latest version of Gameshell is available at"
210-
msgstr "La dernière version de Gameshell est disponible sur"
209+
msgid "The latest version of GameShell is available at"
210+
msgstr "La dernière version de GameShell est disponible sur"
211211

212212
msgid "There are stopped jobs in your session.\n"
213213
"Those processes will be terminated.\n"
@@ -284,7 +284,7 @@ msgstr "O"
284284
msgid "You left GameShell's directory structure. Use\n"
285285
" $ cd\n"
286286
"to go back to the GameShell's starting directory."
287-
msgstr "Vous avez quitté l'arborescence de Gameshell. Utilisez\n"
287+
msgstr "Vous avez quitté l'arborescence de GameShell. Utilisez\n"
288288
" $ cd\n"
289289
"pour revenir au répertoire initial de GameShell."
290290

‎i18n/gameshell-commands/Makefile‎

Lines changed: 0 additions & 23 deletions
This file was deleted.

‎i18n/gameshell-help/fr.txt‎

Lines changed: 0 additions & 21 deletions
This file was deleted.

‎i18n/gameshell-full-help/README‎ renamed to ‎i18n/gsh-full-help/README‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
DO NOT EDIT THOSE FILES DIRECTLY, THEY ARE GENERATED FROM THE FILES IN
2-
../gameshell-commands
2+
../source/gsh-commands

‎i18n/gameshell-full-help/en.txt‎ renamed to ‎i18n/gsh-full-help/en.txt‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -15,13 +15,11 @@ gsh check
1515

1616
gsh exit
1717
quit GameShell
18-
(you can start from the current mission by running
19-
GameShell with the -C flag)
2018
Note that you can exit GameShell using Control-d as well
2119

2220
gsh goal [N]
2321
show the current mission's goal
24-
if n is given, show the goal for mission N
22+
if N is given, show the goal for mission N
2523

2624
gsh help
2725
short help message

‎i18n/gameshell-full-help/fr.txt‎ renamed to ‎i18n/gsh-full-help/fr.txt‎

Lines changed: 61 additions & 40 deletions
Original file line numberDiff line numberDiff line change
@@ -1,84 +1,105 @@
1-
Commandes propres à GameShell
2-
=============================
1+
Liste de toutes les commandes GameShell
2+
=======================================
33

4-
gsh assert condition [MSG]
5-
vérifie si la condition est vraie,
6-
sinon, affiche un message d'erreur
4+
Cette liste devrait être accessible dans une page de manuel UNIX :
75

8-
gsh assert_check true/false [MSG]
9-
vérifie si l'objectif de la mission en cours est atteint
10-
si le résultat ne correspond pas au résultat attendu, affiche un
11-
message d'erreur
6+
man gsh
127

13-
gsh auto (ADMIN)
14-
lance le script automatique de la mission en cours, s'il existe.
8+
9+
Commandes pour le joueur
10+
------------------------
1511

1612
gsh check
1713
vérifie que l'objectif de la mission en cours est atteint
1814

19-
gsh env
20-
affiche les variables d'environnement internes
21-
2215
gsh exit
2316
quitte (et sauvegarde) la partie en cours
17+
vous pouvez également quitter avec Contrôle-d
2418

2519
gsh goal [N]
2620
affiche l'objectif de la mission en cours
2721
si N est donné, affiche l'objectif de la mission N
2822

29-
gsh goto [N] (ADMIN)
23+
gsh help
24+
affiche un petit message d'aide
25+
26+
gsh reset
27+
ré-initialise la mission en cours
28+
29+
30+
Commandes d'administration
31+
--------------------------
32+
33+
gsh auto
34+
lance le script automatique de la mission en cours, s'il existe.
35+
36+
gsh goto [N]
3037
passe directement à la mission N
3138
(le mot de passe n'est pas nécessaire si N est une mission
3239
précédente)
3340

34-
gsh hardreset
35-
ré-initialise la mission en cours en redémarrant le shell
41+
gsh skip
42+
abandonne la mission en cours et passe à la suivante
43+
(le mot de passe n'est pas nécessaire si la mission a déjà été
44+
réussie)
3645

37-
gsh HELP
38-
affiche ce message
3946

40-
gsh help
41-
affiche un petit message d'aide
47+
48+
Commandes supplémentaires
49+
-------------------------
4250

4351
gsh index
4452
affiche la liste des missions, avec leur statut
4553

54+
gsh stat [-v]
55+
affiche des statistiques simples sur les missions effectuées
56+
57+
gsh version
58+
affiche la version de GameShell
59+
60+
gsh welcome
61+
affiche le message de bienvenue
62+
63+
64+
Commandes pour les développeurs
65+
-------------------------------
66+
67+
gsh assert condition [MSG]
68+
vérifie si la condition est vraie
69+
sinon, affiche un message d'erreur
70+
71+
gsh assert_check true/false [MSG]
72+
vérifie si l'objectif de la mission en cours est atteint
73+
si le résultat ne correspond pas au résultat attendu, affiche un
74+
message d'erreur
75+
76+
gsh env
77+
affiche les variables d'environnement internes
78+
79+
gsh hardreset
80+
ré-initialise la mission en cours en redémarrant le shell
81+
82+
gsh HELP
83+
affiche ce message
84+
4685
gsh log [-v]
4786
affiche le fichier de log des commandes gsh
4887

4988
gsh pcm
5089
affiche le numéro de mission courant ("print current mission")
5190

52-
gsh protect
53-
gsh unprotect
91+
gsh protect et gsh unprotect
5492
ajoute / supprime les protections d'accès sur les répertoires
5593
de GameShell
5694

57-
gsh reset
58-
ré-initialise la mission en cours
59-
6095
gsh resetstatic
6196
re-génère toutes les parties statique du monde
6297

6398
gsh save FICHIER
6499
sauve la partie actuelle dans le fichier
65100

66-
gsh skip (ADMIN)
67-
abandonne la mission en cours et passe à la suivante
68-
(le mot de passe n'est pas nécessaire si la mission a déjà été
69-
réussie)
70-
71-
gsh stat [-v]
72-
affiche des statistiques simples sur les missions effectuées
73-
74101
gsh systemconfig
75102
affiche la configuration du système
76103

77104
gsh test
78105
lance le script de test de la mission en cours, s'il existe
79-
80-
gsh version
81-
affiche la version de Gameshell
82-
83-
gsh welcome
84-
affiche le message de bienvenue

‎i18n/gameshell-full-help/it.txt‎ renamed to ‎i18n/gsh-full-help/it.txt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,7 @@ gsh test
7979
avvia i test della missione attuale, se esiste
8080

8181
gsh version
82-
mostra la versione di Gameshell
82+
mostra la versione di GameShell
8383

8484
gsh welcome
8585
mostra il messaggio di benvenuto

0 commit comments

Comments
 (0)