diff options
Diffstat (limited to 'README')
| -rw-r--r-- | README | 33 |
1 files changed, 33 insertions, 0 deletions
@@ -46,6 +46,39 @@ To build, first run the =bootstrap= script, then =./configure=, Once installed, you get a program named =disfluid=. Run it with =-h= to get the options. +* Running as a docker image +The =guix/vkraus/systems/test.scm= contains a couple of servers, one +for [[http://localhost:8081/alice#me]] (the password is "alice"), and one +for [[http://localhost:8082/bob#me]] (the password is "bob"). Both servers +running on localhost:8081 and localhost:8082 are aware that they are +http-only and run on these ports. + +Once you have the Guix channel installed, you can build the image as: + +#+begin_src shell + sudo docker load -i $(guix system docker-image guix/vkraus/systems/test.scm) \ + && sudo docker tag guix:latest vivienkraus/disfluid:test-bench +#+end_src + +I try to publish recent versions of the test bench on Docker Hub, but +I may forget. Don’t forget to remind me if you think it’s too old. + +Then, you will need to start the container: + +#+begin_src shell + export container_id="$(sudo docker create vivienkraus/disfluid:test-bench)" + sudo docker start $container_id +#+end_src + +You can enter the container to check the log files, for instance: + +#+begin_src shell + sudo docker exec -it $container_id /run/current-system/profile/bin/bash --login +#+end_src + +Unfortunately, I don’t know how to let the host access the 8081 and +8082 ports. + # Local Variables: # mode: org # End: |