chore script "publish"
This commit is contained in:
parent
714695947e
commit
fe427137fd
2 changed files with 15 additions and 3 deletions
|
|
@ -3,18 +3,18 @@ FROM docker.io/ldericher/autodoc:diagram
|
|||
# install TeXoffice
|
||||
COPY --chown=root:root \
|
||||
deploy/texoffice \
|
||||
/opt/texlive/texdir/texmf-dist/tex/latex/texoffice
|
||||
/opt/texlive/texdir/texmf-dist/tex/latex/texoffice/
|
||||
|
||||
# install lenaisten directory
|
||||
COPY --chown=root:root \
|
||||
src/lenaisten \
|
||||
/opt/lenaisten
|
||||
/opt/lenaisten/
|
||||
|
||||
# install pandoc templates
|
||||
COPY --chown=root:root \
|
||||
src/lev-protokoll.latex \
|
||||
src/lev-dokument.latex \
|
||||
/usr/local/share/pandoc/templates
|
||||
/usr/local/share/pandoc/templates/
|
||||
|
||||
RUN set -ex; \
|
||||
# reindex TeXlive (installed TeXoffice)
|
||||
12
chores/publish
Executable file
12
chores/publish
Executable file
|
|
@ -0,0 +1,12 @@
|
|||
#!/bin/sh
|
||||
|
||||
script="$( readlink -f "${0}" )"
|
||||
script_dir="$( dirname "${script}" )"
|
||||
repo_dir="$( readlink -f "${script_dir}/.." )"
|
||||
|
||||
docker buildx build \
|
||||
--pull --push \
|
||||
--file "${script_dir}/.publish/Dockerfile" \
|
||||
--tag "code.lenaisten.de/lenaisten/lev-templates:latest" \
|
||||
--platform "linux/amd64" \
|
||||
"${repo_dir}"
|
||||
Loading…
Reference in a new issue