-
-
Save b2m/d29c9e5dba9658bb3e5aad6d6d93c3bb to your computer and use it in GitHub Desktop.
| docker build --tag browse-ocrd . |
| FROM python:3.7 | |
| RUN apt-get update \ | |
| && apt-get install -y --no-install-recommends libcairo2-dev libgtk-3-bin libgtk-3-dev libglib2.0-dev libgtksourceview-3.0-dev libgirepository1.0-dev gir1.2-webkit2-4.0 pkg-config cmake \ | |
| && pip3 install -U setuptools --use-feature=2020-resolver \ | |
| && pip3 install browse-ocrd --use-feature=2020-resolver | |
| ENV GDK_BACKEND broadway | |
| ENV BROADWAY_DISPLAY :5 | |
| EXPOSE 8085 | |
| COPY init.sh /init.sh | |
| RUN chmod +x /init.sh | |
| CMD ["/init.sh"] |
| #!/usr/bin/env bash | |
| set -x | |
| nohup broadwayd :5 & | |
| browse-ocrd /data/mets.xml |
| docker run -it --rm -v ${WORKSPACE}:/data -w /data -p 8085:8085 browse-ocrd |
Thank you for the feedback.
* I got `docker: Error response from daemon: OCI runtime create failed: container_linux.go:349: starting container process caused "exec: \"/init.sh\": permission denied": unknown.` and fixed it with `chmod +x init.sh` and rebuild
Added chown to the Dockerfile... on windows files are added with -rwxr-xr-x so I did not notice.
* HTTPS does not work, HTTP does
Funny how muscle memory automatically types https even when I try to type http.
Also corrected in my first comment.
@b2m, with current Ubuntu/Debian repos (even just python:3.7), we get the following problem at run time:
Namespace WebKit2 not available
But installing gir1.2-webkit2-4.0 would pull in a full gnome-shell ...
Thx @bertsky for your comment. As you already figured out gir1.2-webkit2-4.0 was missing from the dependencies.
I do not know whether it was an indirect dependency before or it is a new dependency from browse-ocrd or it's libraries.
But installing gir1.2-webkit2-4.0 would pull in a full gnome-shell ...
Fortunately not as I am installing it with the option --no-install-recommends.
I updated this gist accordingly.
I updated this gist accordingly.
and the wiki, too, you did already. Many thanks!
Fantastic!
2 tips:
docker: Error response from daemon: OCI runtime create failed: container_linux.go:349: starting container process caused "exec: \"/init.sh\": permission denied": unknown.and fixed it withchmod +x init.shand rebuild