From 7b97db1634394f90e653d0cd25bc45ce770b10f3 Mon Sep 17 00:00:00 2001 From: Vivien Kraus Date: Wed, 5 May 2021 15:22:01 +0200 Subject: Add a server for an application --- po/POTFILES.in | 1 + po/fr.po | 254 ++++++++++++++++++++++++++++-------------------------- po/webid-oidc.pot | 92 ++++++++++++++++++-- 3 files changed, 217 insertions(+), 130 deletions(-) (limited to 'po') diff --git a/po/POTFILES.in b/po/POTFILES.in index 0115b93..dffc889 100644 --- a/po/POTFILES.in +++ b/po/POTFILES.in @@ -12,3 +12,4 @@ src/scm/webid-oidc/authorization-page-unsafe.scm src/scm/webid-oidc/resource-server.scm src/scm/webid-oidc/reverse-proxy.scm src/scm/webid-oidc/hello-world.scm +src/scm/webid-oidc/client.scm diff --git a/po/fr.po b/po/fr.po index d2ee64b..a3cd5cc 100644 --- a/po/fr.po +++ b/po/fr.po @@ -742,12 +742,12 @@ msgstr "Attention : génération d'une nouvelle paire de clé." #: src/scm/webid-oidc/identity-provider.scm:148 #: src/scm/webid-oidc/reverse-proxy.scm:124 -#: src/scm/webid-oidc/hello-world.scm:31 +#: src/scm/webid-oidc/hello-world.scm:31 src/scm/webid-oidc/client.scm:618 msgid "command-line|version" msgstr "version" #: src/scm/webid-oidc/identity-provider.scm:150 -#: src/scm/webid-oidc/hello-world.scm:33 +#: src/scm/webid-oidc/hello-world.scm:33 src/scm/webid-oidc/client.scm:620 msgid "comand-line|help" msgstr "aide" @@ -780,17 +780,17 @@ msgid "comand-line|token-endpoint-uri" msgstr "uri-terminal-jeton" #: src/scm/webid-oidc/identity-provider.scm:166 -#: src/scm/webid-oidc/hello-world.scm:35 +#: src/scm/webid-oidc/hello-world.scm:35 src/scm/webid-oidc/client.scm:630 msgid "comand-line|port" msgstr "port" #: src/scm/webid-oidc/identity-provider.scm:168 -#: src/scm/webid-oidc/reverse-proxy.scm:136 +#: src/scm/webid-oidc/reverse-proxy.scm:136 src/scm/webid-oidc/client.scm:632 msgid "comand-line|log-file" msgstr "fichier-journal" #: src/scm/webid-oidc/identity-provider.scm:170 -#: src/scm/webid-oidc/reverse-proxy.scm:138 +#: src/scm/webid-oidc/reverse-proxy.scm:138 src/scm/webid-oidc/client.scm:634 msgid "comand-line|error-file" msgstr "fichier-erreur" @@ -942,7 +942,7 @@ msgstr "" #: src/scm/webid-oidc/identity-provider.scm:267 #: src/scm/webid-oidc/reverse-proxy.scm:210 -#: src/scm/webid-oidc/hello-world.scm:61 +#: src/scm/webid-oidc/hello-world.scm:61 src/scm/webid-oidc/client.scm:699 #, scheme-format msgid "~a version ~a\n" msgstr "~a version ~a\n" @@ -977,11 +977,12 @@ msgstr "Vous devez définir l'URI du terminal de jeton.\n" #: src/scm/webid-oidc/identity-provider.scm:327 #: src/scm/webid-oidc/reverse-proxy.scm:238 -#: src/scm/webid-oidc/hello-world.scm:72 +#: src/scm/webid-oidc/hello-world.scm:72 src/scm/webid-oidc/client.scm:737 msgid "The port should be a number between 0 and 65535.\n" msgstr "Le port doit être un nombre entre 0 et 65535.\n" #: src/scm/webid-oidc/identity-provider.scm:346 +#: src/scm/webid-oidc/client.scm:748 #, scheme-format msgid "~a: Internal server error: ~a\n" msgstr "~a : Erreur interne du serveur : ~a\n" @@ -1307,6 +1308,129 @@ msgstr "" " -p PORT, --~a=8080 :\n" " définit le port à lier.\n" +#: src/scm/webid-oidc/client.scm:622 +msgid "comand-line|client-id" +msgstr "id-client" + +#: src/scm/webid-oidc/client.scm:624 +msgid "comand-line|redirect-uri" +msgstr "uri-redirection" + +#: src/scm/webid-oidc/client.scm:626 +msgid "comand-line|client-name" +msgstr "nom-client" + +#: src/scm/webid-oidc/client.scm:628 +msgid "comand-line|client-uri" +msgstr "uri-client" + +#: src/scm/webid-oidc/client.scm:649 +#, scheme-format +msgid "" +"Usage: ~a [OPTIONS]...\n" +"\n" +"Serve public pages for an application.\n" +"\n" +"Options:\n" +" -h, --~a:\n" +" display this help message and exit.\n" +" -v, --~a:\n" +" display the version information (~a) and exit.\n" +" -i URI, --~a=URI:\n" +" set the webid of the client.\n" +" -r FILE, --~a=URI:\n" +" set the redirection URI where to get the authorization code.\n" +" -n NAME, --~a=NAME:\n" +" set the name of the application.\n" +" -u URI, --~a=URI:\n" +" set the address of the application (informative).\n" +" -p PORT, --~a=PORT:\n" +" set the port to bind (instead of 8080).\n" +" -l FILE.log, --~a=FILE.log:\n" +" dump the standard output to that file.\n" +" -e FILE.err, --~a=FILE.err:\n" +" dump the standard error to that file.\n" +"\n" +"Environment variables:\n" +"\n" +" LANG: set the locale of the sysadmin-facing interface, for log files\n" +"and command-line interface. It is currently ~a.\n" +"\n" +"Example used in webid-oidc-demo.planete-kraus.eu (except it’s managed\n" +"by shepherd in reality):\n" +"\n" +" export LANG=C\n" +" webid-oidc-client-service \\\n" +" --client-id 'https://webid-oidc-demo.planete-kraus.eu/example-" +"application#id' \\\n" +" --redirect-uri 'https://webid-oidc-demo.planete-kraus.eu/authorized' " +"\\\n" +" --client-name 'Example Solid Application' \\\n" +" --client-uri 'https://webid-oidc.planete-kraus.eu/Running-a-client." +"html#Running-a-client' \\\n" +" --port $PORT\n" +"\n" +"If you find a bug, send a report to ~a.\n" +msgstr "" +"Utilisation : ~a [OPTIONS]...\n" +"\n" +"Sert les pages publiques d’une application.\n" +"\n" +"Options :\n" +" -h, --~a :\n" +" affiche ce message d’aide et quitte.\n" +" -v, --~a :\n" +" affiche le numéro de version (~a) et quitte.\n" +" -i URI, --~a=URI :\n" +" définit le webid du client.\n" +" -r URI, --~a=URI :\n" +" définit l’URI de redirection où obtenir le code d’autorisation.\n" +" -n NOM, --~a=NOM :\n" +" définit le nom de l’application.\n" +" -u URI, --~a=URI :\n" +" définit l’adresse de l’application (à titre informatif).\n" +" -p PORT, --~a=PORT :\n" +" définit le port à lier (au lieu de 8080).\n" +" -l FICHIER.log, --~a=FICHIER.log :\n" +" déverser la sortie standard vers ce fichier.\n" +" -e FICHIER.err, --~a=FICHIER.err :\n" +" déverser la sortie d’erreur vers ce fichier.\n" +"\n" +"Variables d’environnement :\n" +"\n" +" LANG : définit la locale de l’interface de l’administrateur système,\n" +"pour les fichiers de journaux et l’interface en ligne de\n" +"commande. Elle vaut actuellement ~a.\n" +"\n" +"Exemple utilisé pour webid-oidc-demo.planete-kraus.eu (sauf que le\n" +"service est géré par shepherd en réalité, et les URI sont en\n" +"anglais) :\n" +"\n" +" export LANG=fr_FR.UTF-8\n" +" webid-oidc-client-service \\\n" +" --id-client 'https://webid-oidc-demo.planete-kraus.eu/application-" +"exemple#id' \\\n" +" --uri-redirection 'https://webid-oidc-demo.planete-kraus.eu/autorisé' " +"\\\n" +" --nom-client 'Exemple d’application Solid' \\\n" +" --uri-client 'https://webid-oidc.planete-kraus.eu/Running-a-client." +"html#Running-a-client' \\\n" +" --port $PORT\n" +"\n" +"Si vous trouvez une erreur dans le programme, envoyez-en un rapport à ~a.\n" + +#: src/scm/webid-oidc/client.scm:722 +msgid "You need to set the client ID as an URI.\n" +msgstr "Vous devez définir l’identifiant du client comme URI.\n" + +#: src/scm/webid-oidc/client.scm:726 +msgid "You need to set the redirect URI.\n" +msgstr "Vous devez définir l'URI de redirection.\n" + +#: src/scm/webid-oidc/client.scm:730 +msgid "The client URI should be an URI.\n" +msgstr "L’URI du client doit être un URI.\n" + #, scheme-format #~ msgid "the resource ~s could not be found (because ~a)" #~ msgstr "la ressource ~s n’a pas été trouvée (parce que ~a)" @@ -1361,122 +1485,6 @@ msgstr "" #~ msgid "there is an external error" #~ msgstr "il y a une erreur externe" -#~ msgid "comand-line|client-id" -#~ msgstr "id-client" - -#~ msgid "comand-line|redirect-uri" -#~ msgstr "uri-redirection" - -#~ msgid "comand-line|client-name" -#~ msgstr "nom-client" - -#~ msgid "comand-line|client-uri" -#~ msgstr "uri-client" - -#, scheme-format -#~ msgid "" -#~ "Usage: ~a [OPTIONS]...\n" -#~ "\n" -#~ "Serve public pages for an application.\n" -#~ "\n" -#~ "Options:\n" -#~ " -h, --~a:\n" -#~ " display this help message and exit.\n" -#~ " -v, --~a:\n" -#~ " display the version information (~a) and exit.\n" -#~ " -i URI, --~a=URI:\n" -#~ " set the webid of the client.\n" -#~ " -r FILE, --~a=URI:\n" -#~ " set the redirection URI where to get the authorization code.\n" -#~ " -n NAME, --~a=NAME:\n" -#~ " set the name of the application.\n" -#~ " -u URI, --~a=URI:\n" -#~ " set the address of the application (informative).\n" -#~ " -p PORT, --~a=PORT:\n" -#~ " set the port to bind (instead of 8080).\n" -#~ " -l FILE.log, --~a=FILE.log:\n" -#~ " dump the standard output to that file.\n" -#~ " -e FILE.err, --~a=FILE.err:\n" -#~ " dump the standard error to that file.\n" -#~ "\n" -#~ "Environment variables:\n" -#~ "\n" -#~ " LANG: set the locale of the sysadmin-facing interface, for log files\n" -#~ "and command-line interface. It is currently ~a.\n" -#~ "\n" -#~ "Example used in webid-oidc-demo.planete-kraus.eu (except it’s managed\n" -#~ "by shepherd in reality):\n" -#~ "\n" -#~ " export LANG=C\n" -#~ " webid-oidc-client-service \\\n" -#~ " --client-id 'https://webid-oidc-demo.planete-kraus.eu/example-" -#~ "application#id' \\\n" -#~ " --redirect-uri 'https://webid-oidc-demo.planete-kraus.eu/" -#~ "authorized' \\\n" -#~ " --client-name 'Example Solid Application' \\\n" -#~ " --client-uri 'https://webid-oidc.planete-kraus.eu/Running-a-client." -#~ "html#Running-a-client' \\\n" -#~ " --port $PORT\n" -#~ "\n" -#~ "If you find a bug, send a report to ~a.\n" -#~ msgstr "" -#~ "Utilisation : ~a [OPTIONS]...\n" -#~ "\n" -#~ "Sert les pages publiques d’une application.\n" -#~ "\n" -#~ "Options :\n" -#~ " -h, --~a :\n" -#~ " affiche ce message d’aide et quitte.\n" -#~ " -v, --~a :\n" -#~ " affiche le numéro de version (~a) et quitte.\n" -#~ " -i URI, --~a=URI :\n" -#~ " définit le webid du client.\n" -#~ " -r URI, --~a=URI :\n" -#~ " définit l’URI de redirection où obtenir le code d’autorisation.\n" -#~ " -n NOM, --~a=NOM :\n" -#~ " définit le nom de l’application.\n" -#~ " -u URI, --~a=URI :\n" -#~ " définit l’adresse de l’application (à titre informatif).\n" -#~ " -p PORT, --~a=PORT :\n" -#~ " définit le port à lier (au lieu de 8080).\n" -#~ " -l FICHIER.log, --~a=FICHIER.log :\n" -#~ " déverser la sortie standard vers ce fichier.\n" -#~ " -e FICHIER.err, --~a=FICHIER.err :\n" -#~ " déverser la sortie d’erreur vers ce fichier.\n" -#~ "\n" -#~ "Variables d’environnement :\n" -#~ "\n" -#~ " LANG : définit la locale de l’interface de l’administrateur système,\n" -#~ "pour les fichiers de journaux et l’interface en ligne de\n" -#~ "commande. Elle vaut actuellement ~a.\n" -#~ "\n" -#~ "Exemple utilisé pour webid-oidc-demo.planete-kraus.eu (sauf que le\n" -#~ "service est géré par shepherd en réalité, et les URI sont en\n" -#~ "anglais) :\n" -#~ "\n" -#~ " export LANG=fr_FR.UTF-8\n" -#~ " webid-oidc-client-service \\\n" -#~ " --id-client 'https://webid-oidc-demo.planete-kraus.eu/application-" -#~ "exemple#id' \\\n" -#~ " --uri-redirection 'https://webid-oidc-demo.planete-kraus.eu/" -#~ "autorisé' \\\n" -#~ " --nom-client 'Exemple d’application Solid' \\\n" -#~ " --uri-client 'https://webid-oidc.planete-kraus.eu/Running-a-client." -#~ "html#Running-a-client' \\\n" -#~ " --port $PORT\n" -#~ "\n" -#~ "Si vous trouvez une erreur dans le programme, envoyez-en un rapport à " -#~ "~a.\n" - -#~ msgid "You need to set the client ID as an URI.\n" -#~ msgstr "Vous devez définir l’identifiant du client comme URI.\n" - -#~ msgid "You need to set the redirect URI.\n" -#~ msgstr "Vous devez définir l'URI de redirection.\n" - -#~ msgid "The client URI should be an URI.\n" -#~ msgstr "L’URI du client doit être un URI.\n" - #, scheme-format #~ msgid "~a.\t~a, certified by ~a;\n" #~ msgstr "~a.\t~a, certifié par ~a ;\n" diff --git a/po/webid-oidc.pot b/po/webid-oidc.pot index 2f7d082..306f186 100644 --- a/po/webid-oidc.pot +++ b/po/webid-oidc.pot @@ -721,12 +721,12 @@ msgstr "" #: src/scm/webid-oidc/identity-provider.scm:148 #: src/scm/webid-oidc/reverse-proxy.scm:124 -#: src/scm/webid-oidc/hello-world.scm:31 +#: src/scm/webid-oidc/hello-world.scm:31 src/scm/webid-oidc/client.scm:618 msgid "command-line|version" msgstr "" #: src/scm/webid-oidc/identity-provider.scm:150 -#: src/scm/webid-oidc/hello-world.scm:33 +#: src/scm/webid-oidc/hello-world.scm:33 src/scm/webid-oidc/client.scm:620 msgid "comand-line|help" msgstr "" @@ -759,17 +759,17 @@ msgid "comand-line|token-endpoint-uri" msgstr "" #: src/scm/webid-oidc/identity-provider.scm:166 -#: src/scm/webid-oidc/hello-world.scm:35 +#: src/scm/webid-oidc/hello-world.scm:35 src/scm/webid-oidc/client.scm:630 msgid "comand-line|port" msgstr "" #: src/scm/webid-oidc/identity-provider.scm:168 -#: src/scm/webid-oidc/reverse-proxy.scm:136 +#: src/scm/webid-oidc/reverse-proxy.scm:136 src/scm/webid-oidc/client.scm:632 msgid "comand-line|log-file" msgstr "" #: src/scm/webid-oidc/identity-provider.scm:170 -#: src/scm/webid-oidc/reverse-proxy.scm:138 +#: src/scm/webid-oidc/reverse-proxy.scm:138 src/scm/webid-oidc/client.scm:634 msgid "comand-line|error-file" msgstr "" @@ -848,7 +848,7 @@ msgstr "" #: src/scm/webid-oidc/identity-provider.scm:267 #: src/scm/webid-oidc/reverse-proxy.scm:210 -#: src/scm/webid-oidc/hello-world.scm:61 +#: src/scm/webid-oidc/hello-world.scm:61 src/scm/webid-oidc/client.scm:699 #, scheme-format msgid "~a version ~a\n" msgstr "" @@ -883,11 +883,12 @@ msgstr "" #: src/scm/webid-oidc/identity-provider.scm:327 #: src/scm/webid-oidc/reverse-proxy.scm:238 -#: src/scm/webid-oidc/hello-world.scm:72 +#: src/scm/webid-oidc/hello-world.scm:72 src/scm/webid-oidc/client.scm:737 msgid "The port should be a number between 0 and 65535.\n" msgstr "" #: src/scm/webid-oidc/identity-provider.scm:346 +#: src/scm/webid-oidc/client.scm:748 #, scheme-format msgid "~a: Internal server error: ~a\n" msgstr "" @@ -1137,3 +1138,80 @@ msgid "" " -p PORT, --port=~a:\n" " set the port to bind.\n" msgstr "" + +#: src/scm/webid-oidc/client.scm:622 +msgid "comand-line|client-id" +msgstr "" + +#: src/scm/webid-oidc/client.scm:624 +msgid "comand-line|redirect-uri" +msgstr "" + +#: src/scm/webid-oidc/client.scm:626 +msgid "comand-line|client-name" +msgstr "" + +#: src/scm/webid-oidc/client.scm:628 +msgid "comand-line|client-uri" +msgstr "" + +#: src/scm/webid-oidc/client.scm:649 +#, scheme-format +msgid "" +"Usage: ~a [OPTIONS]...\n" +"\n" +"Serve public pages for an application.\n" +"\n" +"Options:\n" +" -h, --~a:\n" +" display this help message and exit.\n" +" -v, --~a:\n" +" display the version information (~a) and exit.\n" +" -i URI, --~a=URI:\n" +" set the webid of the client.\n" +" -r FILE, --~a=URI:\n" +" set the redirection URI where to get the authorization code.\n" +" -n NAME, --~a=NAME:\n" +" set the name of the application.\n" +" -u URI, --~a=URI:\n" +" set the address of the application (informative).\n" +" -p PORT, --~a=PORT:\n" +" set the port to bind (instead of 8080).\n" +" -l FILE.log, --~a=FILE.log:\n" +" dump the standard output to that file.\n" +" -e FILE.err, --~a=FILE.err:\n" +" dump the standard error to that file.\n" +"\n" +"Environment variables:\n" +"\n" +" LANG: set the locale of the sysadmin-facing interface, for log files\n" +"and command-line interface. It is currently ~a.\n" +"\n" +"Example used in webid-oidc-demo.planete-kraus.eu (except it’s managed\n" +"by shepherd in reality):\n" +"\n" +" export LANG=C\n" +" webid-oidc-client-service \\\n" +" --client-id 'https://webid-oidc-demo.planete-kraus.eu/example-" +"application#id' \\\n" +" --redirect-uri 'https://webid-oidc-demo.planete-kraus.eu/authorized' " +"\\\n" +" --client-name 'Example Solid Application' \\\n" +" --client-uri 'https://webid-oidc.planete-kraus.eu/Running-a-client." +"html#Running-a-client' \\\n" +" --port $PORT\n" +"\n" +"If you find a bug, send a report to ~a.\n" +msgstr "" + +#: src/scm/webid-oidc/client.scm:722 +msgid "You need to set the client ID as an URI.\n" +msgstr "" + +#: src/scm/webid-oidc/client.scm:726 +msgid "You need to set the redirect URI.\n" +msgstr "" + +#: src/scm/webid-oidc/client.scm:730 +msgid "The client URI should be an URI.\n" +msgstr "" -- cgit v1.2.3