Spoof home directory in dockerfiles to be able to build with package bbm
This commit is contained in:
parent
07107cb63e
commit
57f7fec9a0
@ -3,3 +3,11 @@ FROM alpine:3.19
|
||||
RUN apk update && apk upgrade
|
||||
RUN apk add make texlive texmf-dist-pictures
|
||||
RUN apk add texmf-dist-publishers texmf-dist-science texmf-dist-fontsextra texmf-dist-latexextra
|
||||
|
||||
# The 'bbm' package insists on generating stuff in the home directory. In
|
||||
# order to guarantee access to the home directory no matter the user the
|
||||
# docker container is run with, create a temporary one anyone can write to
|
||||
RUN mkdir /tmp/home
|
||||
RUN chmod -R 777 /tmp/home
|
||||
ENV HOME=/tmp/home
|
||||
|
||||
|
||||
@ -7,3 +7,11 @@ RUN pacman -Sy archlinux-keyring --noconfirm && pacman -Su --noconfirm
|
||||
RUN pacman -Syu --noconfirm
|
||||
RUN pacman -S make perl texlive texlive-binextra texlive-pictures --noconfirm
|
||||
RUN pacman -S texlive-publishers texlive-mathscience texlive-fontsextra texlive-latexextra --noconfirm
|
||||
|
||||
# The 'bbm' package insists on generating stuff in the home directory. In
|
||||
# order to guarantee access to the home directory no matter the user the
|
||||
# docker container is run with, create a temporary one anyone can write to
|
||||
RUN mkdir /tmp/home
|
||||
RUN chmod -R 777 /tmp/home
|
||||
ENV HOME=/tmp/home
|
||||
|
||||
|
||||
@ -5,3 +5,11 @@ ARG DEBIAN_FRONTEND=noninteractive
|
||||
RUN apt update -y && apt upgrade -y
|
||||
RUN apt install make texlive latexmk texlive-pictures -y
|
||||
RUN apt install make texlive-publishers texlive-science texlive-fonts-extra texlive-latex-extra -y
|
||||
|
||||
# The 'bbm' package insists on generating stuff in the home directory. In
|
||||
# order to guarantee access to the home directory no matter the user the
|
||||
# docker container is run with, create a temporary one anyone can write to
|
||||
RUN mkdir /tmp/home
|
||||
RUN chmod -R 777 /tmp/home
|
||||
ENV HOME=/tmp/home
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user