Add a server for an application

3 files changed, 217 insertions, 130 deletions

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 ""