Start a GUI

1 files changed, 92 insertions, 85 deletions

diff --git a/po/disfluid.pot b/po/disfluid.pot
index 7a3ceca..278e03e 100644
--- a/po/disfluid.pot
+++ b/po/disfluid.pot
@@ -8,7 +8,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: disfluid SNAPSHOT\n"
 "Report-Msgid-Bugs-To: vivien@planete-kraus.eu\n"
-"POT-Creation-Date: 2021-09-15 12:41+0200\n"
+"POT-Creation-Date: 2021-09-15 23:04+0200\n"
 "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
 "Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
 "Language-Team: LANGUAGE <LL@li.org>\n"
@@ -569,6 +569,14 @@ msgid ""
 "pair.."
 msgstr ""
 
+#: src/scm/webid-oidc/client/gui.scm:59
+msgid "Hello, world!\n"
+msgstr ""
+
+#: src/scm/webid-oidc/client/gui.scm:64
+msgid "Hello, world!"
+msgstr ""
+
 #: src/scm/webid-oidc/dpop-proof.scm:91
 #, scheme-format
 msgid "this is not a DPoP proof, because it is not even a JWS: ~a"
@@ -975,7 +983,7 @@ msgstr ""
 msgid "~a version ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:128 src/scm/webid-oidc/program.scm:625
+#: src/scm/webid-oidc/hello-world.scm:128 src/scm/webid-oidc/program.scm:628
 msgid ""
 "You are legally required to link to the complete corresponding source code.\n"
 msgstr ""
@@ -1463,8 +1471,8 @@ msgid ""
 "      run an authenticating reverse proxy."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:315 src/scm/webid-oidc/program.scm:507
-#: src/scm/webid-oidc/program.scm:708
+#: src/scm/webid-oidc/program.scm:315 src/scm/webid-oidc/program.scm:510
+#: src/scm/webid-oidc/program.scm:710
 msgid "command-line|command|reverse-proxy"
 msgstr ""
 
@@ -1476,8 +1484,8 @@ msgid ""
 "      run an identity provider."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:319 src/scm/webid-oidc/program.scm:532
-#: src/scm/webid-oidc/program.scm:730
+#: src/scm/webid-oidc/program.scm:319 src/scm/webid-oidc/program.scm:535
+#: src/scm/webid-oidc/program.scm:732
 msgid "command-line|command|identity-provider"
 msgstr ""
 
@@ -1489,8 +1497,8 @@ msgid ""
 "      serve the pages for a public application."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:323 src/scm/webid-oidc/program.scm:553
-#: src/scm/webid-oidc/program.scm:772
+#: src/scm/webid-oidc/program.scm:323 src/scm/webid-oidc/program.scm:556
+#: src/scm/webid-oidc/program.scm:774
 msgid "command-line|command|client-service"
 msgstr ""
 
@@ -1503,18 +1511,24 @@ msgid ""
 "      facility."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:328 src/scm/webid-oidc/program.scm:579
-#: src/scm/webid-oidc/program.scm:801
+#: src/scm/webid-oidc/program.scm:328 src/scm/webid-oidc/program.scm:582
+#: src/scm/webid-oidc/program.scm:803
 msgid "command-line|command|server"
 msgstr ""
 
 #: src/scm/webid-oidc/program.scm:330
 msgid ""
 "\n"
+"If no command is specified, run the browser."
+msgstr ""
+
+#: src/scm/webid-oidc/program.scm:333
+msgid ""
+"\n"
 "General options:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:332
+#: src/scm/webid-oidc/program.scm:335
 #, scheme-format
 msgid ""
 "\n"
@@ -1523,7 +1537,7 @@ msgid ""
 "      code. For instance, this would be an URI pointing to a tarball."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:337
+#: src/scm/webid-oidc/program.scm:340
 #, scheme-format
 msgid ""
 "\n"
@@ -1531,7 +1545,7 @@ msgid ""
 "      display a short help message and exit."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:341
+#: src/scm/webid-oidc/program.scm:344
 #, scheme-format
 msgid ""
 "\n"
@@ -1539,7 +1553,7 @@ msgid ""
 "      display the version information (~a, released ~a) and exit."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:347
+#: src/scm/webid-oidc/program.scm:350
 #, scheme-format
 msgid ""
 "\n"
@@ -1547,7 +1561,7 @@ msgid ""
 "      describe the project in the DOAP vocabulary and exit."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:351
+#: src/scm/webid-oidc/program.scm:354
 #, scheme-format
 msgid ""
 "\n"
@@ -1555,7 +1569,7 @@ msgid ""
 "      redirect the program standard output to FILE.log."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:355
+#: src/scm/webid-oidc/program.scm:358
 #, scheme-format
 msgid ""
 "\n"
@@ -1563,13 +1577,13 @@ msgid ""
 "      redirect the program errors to FILE.err."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:360
+#: src/scm/webid-oidc/program.scm:363
 msgid ""
 "\n"
 "General server-side options:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:362
+#: src/scm/webid-oidc/program.scm:365
 #, scheme-format
 msgid ""
 "\n"
@@ -1577,7 +1591,7 @@ msgid ""
 "      set the server port to bind, 8080 by default."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:366
+#: src/scm/webid-oidc/program.scm:369
 #, scheme-format
 msgid ""
 "\n"
@@ -1585,13 +1599,13 @@ msgid ""
 "      set the public server URI (scheme, userinfo, host, and port)."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:371
+#: src/scm/webid-oidc/program.scm:374
 msgid ""
 "\n"
 "Options for the resource server:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:373
+#: src/scm/webid-oidc/program.scm:376
 #, scheme-format
 msgid ""
 "\n"
@@ -1601,7 +1615,7 @@ msgid ""
 "      authentication."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:379
+#: src/scm/webid-oidc/program.scm:382
 #, scheme-format
 msgid ""
 "\n"
@@ -1610,13 +1624,13 @@ msgid ""
 "      reverse-proxy command."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:385
+#: src/scm/webid-oidc/program.scm:388
 msgid ""
 "\n"
 "Options for the identity provider:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:387
+#: src/scm/webid-oidc/program.scm:390
 #, scheme-format
 msgid ""
 "\n"
@@ -1625,7 +1639,7 @@ msgid ""
 "      key is generated. The server does not offer an HTTPS service."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:392
+#: src/scm/webid-oidc/program.scm:395
 #, scheme-format
 msgid ""
 "\n"
@@ -1633,7 +1647,7 @@ msgid ""
 "      set the identity of the subject."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:396
+#: src/scm/webid-oidc/program.scm:399
 #, scheme-format
 msgid ""
 "\n"
@@ -1641,7 +1655,7 @@ msgid ""
 "      set the encrypted password to recognize the user."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:400
+#: src/scm/webid-oidc/program.scm:403
 #, scheme-format
 msgid ""
 "\n"
@@ -1649,7 +1663,7 @@ msgid ""
 "      load the user’s encrypted password from ENCRYPTED_PASSWORD_FILE."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:404
+#: src/scm/webid-oidc/program.scm:407
 #, scheme-format
 msgid ""
 "\n"
@@ -1657,7 +1671,7 @@ msgid ""
 "      set the URI to query the key of the server."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:408
+#: src/scm/webid-oidc/program.scm:411
 #, scheme-format
 msgid ""
 "\n"
@@ -1665,7 +1679,7 @@ msgid ""
 "      set the authorization endpoint of the issuer."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:412
+#: src/scm/webid-oidc/program.scm:415
 #, scheme-format
 msgid ""
 "\n"
@@ -1673,13 +1687,13 @@ msgid ""
 "      set the token endpoint of the issuer."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:417
+#: src/scm/webid-oidc/program.scm:420
 msgid ""
 "\n"
 "Options for the client service:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:419
+#: src/scm/webid-oidc/program.scm:422
 #, scheme-format
 msgid ""
 "\n"
@@ -1688,7 +1702,7 @@ msgid ""
 "      dereferenced to a semantic resource."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:424
+#: src/scm/webid-oidc/program.scm:427
 #, scheme-format
 msgid ""
 "\n"
@@ -1697,7 +1711,7 @@ msgid ""
 "      page is presented with the code to paste in the application."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:429
+#: src/scm/webid-oidc/program.scm:432
 #, scheme-format
 msgid ""
 "\n"
@@ -1705,7 +1719,7 @@ msgid ""
 "      set the user-visible application name (may be misleading...)."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:433
+#: src/scm/webid-oidc/program.scm:436
 #, scheme-format
 msgid ""
 "\n"
@@ -1714,13 +1728,13 @@ msgid ""
 "      application (again, may be misleading)."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:439
+#: src/scm/webid-oidc/program.scm:442
 msgid ""
 "\n"
 "Environment variables:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:441
+#: src/scm/webid-oidc/program.scm:444
 msgid ""
 "\n"
 "  XML_CATALOG_FILES: the server will fetch resources on the web. By\n"
@@ -1731,23 +1745,23 @@ msgid ""
 "      content-type."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:449 src/scm/webid-oidc/program.scm:456
-#: src/scm/webid-oidc/program.scm:465 src/scm/webid-oidc/program.scm:473
-#: src/scm/webid-oidc/program.scm:481
+#: src/scm/webid-oidc/program.scm:452 src/scm/webid-oidc/program.scm:459
+#: src/scm/webid-oidc/program.scm:468 src/scm/webid-oidc/program.scm:476
+#: src/scm/webid-oidc/program.scm:484
 #, scheme-format
 msgid ""
 "the-environment-variable|\n"
 "      It is currently set to ~s."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:452
+#: src/scm/webid-oidc/program.scm:455
 msgid ""
 "\n"
 "  LANG: set the locale of the user interface (for the server commands,\n"
 "      the user is the system administrator)."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:459
+#: src/scm/webid-oidc/program.scm:462
 msgid ""
 "\n"
 "  XDG_DATA_HOME: where the program stores persistent data. The\n"
@@ -1756,7 +1770,7 @@ msgid ""
 "      recommended to set it to /var/lib."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:468
+#: src/scm/webid-oidc/program.scm:471
 msgid ""
 "\n"
 "  XDG_CACHE_HOME: where the program stores and updates the seed file,\n"
@@ -1764,7 +1778,7 @@ msgid ""
 "      time. The seed file will be initialized from /dev/random."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:476
+#: src/scm/webid-oidc/program.scm:479
 msgid ""
 "\n"
 "  HOME: if XDG_DATA_HOME or XDG_CACHE_HOME is not set, they are\n"
@@ -1772,13 +1786,13 @@ msgid ""
 "      not used otherwise."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:485
+#: src/scm/webid-oidc/program.scm:488
 msgid ""
 "\n"
 "Running a reverse proxy"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:487
+#: src/scm/webid-oidc/program.scm:490
 msgid ""
 "\n"
 "Suppose that you operate data.provider.com. You want to run an\n"
@@ -1791,7 +1805,7 @@ msgid ""
 "from this reverse proxy."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:497
+#: src/scm/webid-oidc/program.scm:500
 #, scheme-format
 msgid ""
 "\n"
@@ -1805,20 +1819,20 @@ msgid ""
 "      --~a '/var/log/proxy.err'"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:512
+#: src/scm/webid-oidc/program.scm:515
 msgid ""
 "\n"
 "Running an identity provider"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:514
+#: src/scm/webid-oidc/program.scm:517
 msgid ""
 "\n"
 "The identity provider running at webid-oidc-demo.planete-kraus.eu is\n"
 "invoked with the following options:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:518
+#: src/scm/webid-oidc/program.scm:521
 #, scheme-format
 msgid ""
 "\n"
@@ -1837,20 +1851,20 @@ msgid ""
 "      --~a $PORT"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:538
+#: src/scm/webid-oidc/program.scm:541
 msgid ""
 "\n"
 "Running the public pages for an application"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:540
+#: src/scm/webid-oidc/program.scm:543
 msgid ""
 "\n"
 "The example client application pages for\n"
 "webid-oidc-demo.planete-kraus.eu are served this way:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:544
+#: src/scm/webid-oidc/program.scm:547
 #, scheme-format
 msgid ""
 "\n"
@@ -1866,13 +1880,13 @@ msgid ""
 "      --~a $PORT"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:558
+#: src/scm/webid-oidc/program.scm:561
 msgid ""
 "\n"
 "Running a full server"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:561
+#: src/scm/webid-oidc/program.scm:564
 msgid ""
 "\n"
 "To run the server with identity provider and\n"
@@ -1880,7 +1894,7 @@ msgid ""
 "options for the parts."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:565
+#: src/scm/webid-oidc/program.scm:568
 #, scheme-format
 msgid ""
 "\n"
@@ -1899,14 +1913,14 @@ msgid ""
 "      --~a '...port...'"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:590
+#: src/scm/webid-oidc/program.scm:593
 #, scheme-format
 msgid ""
 "\n"
 "If you find a bug, then please send a report to ~a."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:595
+#: src/scm/webid-oidc/program.scm:598
 #, scheme-format
 msgid ""
 "~a version ~a\n"
@@ -1914,108 +1928,101 @@ msgid ""
 "Rreleased ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:632
+#: src/scm/webid-oidc/program.scm:635
 #, scheme-format
 msgid "The --~a argument must be a number, not ~s.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:638
+#: src/scm/webid-oidc/program.scm:641
 #, scheme-format
 msgid "The --~a argument must be an integer, not ~s.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:644
+#: src/scm/webid-oidc/program.scm:647
 #, scheme-format
 msgid "The --~a argument must be positive, ~s is invalid.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:649
+#: src/scm/webid-oidc/program.scm:652
 #, scheme-format
 msgid "The --~a argument must be less than 65536, ~s is invalid.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:677
+#: src/scm/webid-oidc/program.scm:680
 msgid ""
 "You specified two different passwords: one directly, and one from a file. "
 "Please set only one password.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:701
-#, scheme-format
-msgid ""
-"Usage: ~a COMMAND [OPTIONS]...\n"
-"See --~a (-h).\n"
-msgstr ""
-
-#: src/scm/webid-oidc/program.scm:711 src/scm/webid-oidc/program.scm:733
-#: src/scm/webid-oidc/program.scm:803
+#: src/scm/webid-oidc/program.scm:713 src/scm/webid-oidc/program.scm:735
+#: src/scm/webid-oidc/program.scm:805
 #, scheme-format
 msgid "You must pass --~a to set the server name.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:715
+#: src/scm/webid-oidc/program.scm:717
 #, scheme-format
 msgid "You must pass --~a to set the backend URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:737 src/scm/webid-oidc/program.scm:807
+#: src/scm/webid-oidc/program.scm:739 src/scm/webid-oidc/program.scm:809
 #, scheme-format
 msgid ""
 "You must pass --~a to set the file where to store the identity provider "
 "key.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:741 src/scm/webid-oidc/program.scm:811
+#: src/scm/webid-oidc/program.scm:743 src/scm/webid-oidc/program.scm:813
 #, scheme-format
 msgid "You must pass --~a to set the subject of the identity provider.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:745
+#: src/scm/webid-oidc/program.scm:747
 #, scheme-format
 msgid "You must pass --~a or --~a to set the subject’s encrypted password.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:749 src/scm/webid-oidc/program.scm:819
+#: src/scm/webid-oidc/program.scm:751 src/scm/webid-oidc/program.scm:821
 #, scheme-format
 msgid "You must pass --~a to set the JWKS URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:753 src/scm/webid-oidc/program.scm:823
+#: src/scm/webid-oidc/program.scm:755 src/scm/webid-oidc/program.scm:825
 #, scheme-format
 msgid "You must pass --~a to set the authorization endpoint URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:757 src/scm/webid-oidc/program.scm:827
+#: src/scm/webid-oidc/program.scm:759 src/scm/webid-oidc/program.scm:829
 #, scheme-format
 msgid "You must pass --~a to set the token endpoint URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:775
+#: src/scm/webid-oidc/program.scm:777
 #, scheme-format
 msgid "You must pass --~a to set the application web ID.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:779
+#: src/scm/webid-oidc/program.scm:781
 #, scheme-format
 msgid "You must pass --~a to set the redirection URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:783
+#: src/scm/webid-oidc/program.scm:785
 #, scheme-format
 msgid "You must pass --~a to set the informative client name.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:787
+#: src/scm/webid-oidc/program.scm:789
 #, scheme-format
 msgid "You must pass --~a to set the informative client URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:815
+#: src/scm/webid-oidc/program.scm:817
 #, scheme-format
 msgid "You must pass --~a to set the subject’s encrypted password.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:870
+#: src/scm/webid-oidc/program.scm:872
 #, scheme-format
 msgid "Unknown command ~s\n"
 msgstr ""