[{"_1":2,"_196":-5,"_197":-5},"loaderData",{"_3":4,"_18":19,"_26":27,"_171":172},"root",{"_5":-5,"_6":-7,"_7":8,"_9":-7,"_10":11,"_12":-7,"_13":14,"_15":16,"_17":11},"currentUser","primaryEmail","siteVerification","6LeIxAcTAAAAAJcZVRqyHh71UMIEGNQ_MXjiZKhI","toast","enableDev",false,"incidentStatus","theme","system","contrast","normal","dockerRebrandTour","routes/_layout",{"_20":-5,"_21":22,"_23":22,"_24":11,"_25":22},"username","isAskGordonEnabled",true,"isUsingNewTemplate","showMinimalLanding","showHoneypotTrap","routes/_layout.r.$namespace.$reponame",{"_28":29,"_30":-5,"_31":11,"_32":11,"_33":34,"_35":36,"_37":-5,"_38":11,"_39":40,"_89":90,"_111":112,"_159":-5,"_160":11,"_161":22,"_162":11,"_163":11,"_164":-5,"_165":11,"_166":-5,"_167":168,"_169":113,"_170":-7},"canonicalUrl","https://hub.docker.com/r/vre4eic/swish/tags","mcpServer","canSeeDockerfile","canSeeAutobuilds","namespace","vre4eic","reponame","swish","cloudBuildSource","isAutobuildsAvailable","repo",{"_41":42,"_43":44,"_46":47,"_48":49,"_50":11,"_51":52,"_53":54,"_55":56,"_58":36,"_33":34,"_59":60,"_61":45,"_62":63,"_64":65,"_66":67,"_68":-5,"_69":63,"_70":71,"_72":11,"_73":34,"_74":75,"_80":22,"_81":82,"_86":34,"_87":88},"categories",[],"content_types",[45],"image","date_registered","2018-04-24T09:20:31.972565Z","description","VRE4EIC-styled version of plain vanilla swish docker image","is_private","last_updated","2018-09-04T10:58:02.757165Z","last_modified","2024-10-16T13:48:34.145251Z","media_types",[57],"application/vnd.docker.container.image.v1+json","name","pull_count",996,"repository_type","star_count",0,"status",1,"status_description","active","source","collaborator_count","full_description","# A SWISH (SWI-Prolog for SHaring) docker\n\nThis repository provides a [Docker](https://www.docker.com/) image for\n[SWISH](http://swish.swi-prolog.org) based on the official [SWI-Prolog\ndocker image](https://hub.docker.com/_/swipl/).\n\n## Building the image\n\nThe image is built by running\n\n make image\n\n## Running the image\n\nThe image may be used in many configurations, both controlled by docker\noptions and options to the entry point. As basic operation typically\nalready requires publishing ports and setting up a volume for the data,\nwe added a bash script `swish.sh` that automates the common scenarios by\nproviding `docker run` options from defaults and provided options. When\ncalled with `-n`, as in `./swish.sh -n option ...`, it merery prints the\ndocker command it will execute. The following options are processed:\n\n - `--port=N`
\n Modify the `-p` option to `-p N:3050`. Default is 3050.\n - `--data=dir`
\n Mount the given directory as data. Default is the working\n directory.\n - `--with-R[=from]`
\n Add `--volumes-from from` where _from_ defaults to `rserve`\n to connect to an\n [R docker image](https://github.com/JanWielemaker/rserve-sandbox)\n - `-n`
\n Just print the docker command that will be executed.\n - `-d`
\n Detach from the terminal\n - `-it`
\n Pass on (interactive)\n\nAll remaining options are passed to the entry point of the image.\n\n### Data\n\nThe docker image maintains its data (user programs and configuration) on\nthe _volume_ `/data`. This may be mapped to a host directory using the\ndocker `-v` options (see also the `--data=dir` option of `swish.sh`).\n\nWithin the data directory, SWISH manages the following items:\n\n - **config-enabled** is a directory where the configuration is stored.\n If it doesn't exist it is created and filled with a default\n configuration that depends on the provided options. The directory\n and its files have the same owner and group as the root of the managed\n volume.\n\n - **data** is the directory where all dynamic user data is maintained.\n If the directory exists, the SWISH server is started with the user and\n group of the directory. If it doesn't exist the directory is created\n as owned by `daemon.daemon` and the server is started with these\n credentials.\n\n - **https** If the `--https` option is passed, it creates or reuses\n this directory and the files `server.crt` and `server.key`. The\n created certificate is _self-signed_.\n\n - **passwd** If authenticated mode is enabled, this file maintains\n the users and password hashes.\n\n\n### Network access\n\nThe container creates a server at port `3050`. By default this is an\nHTTP server. If `run swish --https` is used, an HTTPS\nserver is started.\n\n\n### The entry point\n\nThe entry point of the containser is `/entry.sh`, a shell script that\ninitialises the data volume if needed and starts the server. It accepts\nthe following options:\n\n - `--bash`
\n Instead of starting the server, start a bash shell. Terminate after\n bash completes.\n\n - `--help`
\n Emit short help.\n\n\n### Configuration\n\nThe SWISH configuration is controlled by files in the `config-enabled`\ndirectory. Several commands may be used to control the configuration.\nThese are executed as below:\n\n ```\n docker run -it swish option ...\n ```\n\nMultiple configuration options may be passed to update multiple facets\nof the configuration. Normally the image stops after updating the\nconfiguration. If `--run` is added the entry point starts the server\nafter updating the configuration.\n\nThe options provided are:\n\n - `--list-config`
\n List installed and available configuration items. If an item is\n installed, indicate whether it is modified.\n\n - `--auth=type`
\n Change the configured authentication scheme. This is one of\n\n - `always`
\n Run in fully _authenticated_ mode, forcing the user to login\n and allowing to execute arbitrary commands. When executed for\n the first time, docker must be run _interactively_ (`run -it`)\n to create the first user. Additional users are created using\n\n `docker run -it swish --add-user`.\n\n - `social`
\n Use _social_ login. By default enables optional http login,\n login using google and stackoverflow. Both need to be further\n configured by editing `config-enabled/auth_google.pl` and\n `config-enabled/auth_stackoverflow.pl`\n\n - `anon` (or anonymous)
\n This is the initial default, providing fully anonymous login,\n executing only sandboxed Prolog queries.\n\n - `--add-config file ...`
\n Add one or more configuration files by copying them from the\n available configuration directory.\n\n - `--add-user`
\n Add a new user to the HTTP authentication. Prompts for user name,\n email, group (unused, use `users`) and password.\n\n - `--https`
\n Create an HTTPS server. This uses the certificate from the\n `https` directory (see above). If no certificate exists, a\n self-signed certificate is created. The details may be refined\n using `--CN=host`, `--O=organization` and `--C=country`\n\n\n\n","has_starred","hub_user","immutable_tags_settings",{"_76":11,"_77":78},"enabled","rules",[79],".*","is_automated","permissions",{"_83":22,"_84":11,"_85":11},"read","write","admin","user","storage_size",2934123526,"orgData",{"_91":92,"_93":94,"_95":96,"_97":34,"_98":99,"_100":101,"_102":99,"_103":104,"_105":106,"_107":99,"_108":99,"_109":99,"_110":22},"id","b01fa082676e453d9eddee76948b3149","uuid","b01fa082-676e-453d-9edd-ee76948b3149","type","organization","orgname","full_name","","location","Europe","company","profile_url","https://www.vre4eic.eu/","date_joined","2018-04-16T10:22:25.074383Z","gravatar_url","gravatar_email","badge","is_active","recentTags",[113,149],{"_114":45,"_115":116,"_117":118,"_91":119,"_120":121,"_51":138,"_139":116,"_140":34,"_141":57,"_58":142,"_143":144,"_145":129,"_146":138,"_147":67,"_148":22},"content_type","creator",3008629,"full_size",233971514,26167089,"images",[122],{"_123":124,"_125":126,"_127":99,"_128":129,"_130":131,"_132":133,"_134":99,"_135":-5,"_136":118,"_64":67,"_137":-5},"architecture","amd64","digest","sha256:eaa5166878fd9f3e909d6541bcf2b5a1af712f9171b120322c89ddd5947181e7","features","last_pulled","2026-10-21T07:17:08.78011935Z","last_pushed","2018-09-04T09:44:17Z","os","linux","os_features","os_version","size","variant","2018-09-04T09:44:16.49769Z","last_updater","last_updater_username","media_type","latest","repository",5424748,"tag_last_pulled","tag_last_pushed","tag_status","v2",{"_114":45,"_115":116,"_117":150,"_91":151,"_120":152,"_51":157,"_139":116,"_140":34,"_141":57,"_58":158,"_143":144,"_145":155,"_146":157,"_147":67,"_148":22},233987983,26166308,[153],{"_123":124,"_125":154,"_127":99,"_128":155,"_130":156,"_132":133,"_134":99,"_135":-5,"_136":150,"_64":67,"_137":-5},"sha256:f1f38e6eaae68a3b055944bc5172694d5eb6cc1782ca88d16435c3dae2eff15e","2026-10-22T01:00:27.135581987Z","2018-09-04T10:57:33Z","2018-09-04T10:57:32.232094Z","vre","sbxKitMetadata","isPotentialSpam","isHubSbxKitsEnabled","showSbxRunInCloud","showSbxLogoOverride","sbxTrademarkText","displaySecurityMetadata","tagAttestations","tagsHaveAttestations",[],"selectedTag","attestationsUrl","routes/_layout.r.$namespace.$reponame.tags",{"_39":173,"_180":181,"_167":194,"_195":11},{"_41":174,"_43":175,"_46":47,"_48":49,"_50":11,"_51":52,"_53":54,"_55":176,"_58":36,"_33":34,"_59":60,"_61":45,"_62":63,"_64":65,"_66":67,"_68":-5,"_69":63,"_70":71,"_72":11,"_73":34,"_74":177,"_80":22,"_81":179,"_86":34,"_87":88},[],[45],[57],{"_76":11,"_77":178},[79],{"_83":22,"_84":11,"_85":11},"tags",{"_182":183,"_184":-5,"_185":-5,"_186":187},"count",2,"next","previous","results",[188,191],{"_114":45,"_115":116,"_117":150,"_91":151,"_120":189,"_51":157,"_139":116,"_140":34,"_141":57,"_58":158,"_143":144,"_145":155,"_146":157,"_147":67,"_148":22},[190],{"_123":124,"_125":154,"_127":99,"_128":155,"_130":156,"_132":133,"_134":99,"_135":-5,"_136":150,"_64":67,"_137":-5},{"_114":45,"_115":116,"_117":118,"_91":119,"_120":192,"_51":138,"_139":116,"_140":34,"_141":57,"_58":142,"_143":144,"_145":129,"_146":138,"_147":67,"_148":22},[193],{"_123":124,"_125":126,"_127":99,"_128":129,"_130":131,"_132":133,"_134":99,"_135":-5,"_136":118,"_64":67,"_137":-5},[],"canDeleteTags","actionData","errors"]

vre4eic/swish

Tags for vre4eic/swish