File tree 5 files changed +3
-12
lines changed 5 files changed +3
-12
lines changed Original file line number Diff line number Diff line change @@ -4,4 +4,4 @@ SOURCE=$(realpath "$1")
4
4
mkdir -p $( dirname " $2 " )
5
5
OUTPUT=$( realpath " $2 " )
6
6
7
- docker run --rm -v " $SOURCE " :/files/index.html:ro --entrypoint ' ' zenika/alpine-chrome:73 timeout -t 20 - s KILL chromium-browser --headless --disable-gpu --disable-software-rasterizer --no-sandbox --timeout=30000 --dump-dom /files/index.html > " $OUTPUT "
7
+ docker run --rm -v " $SOURCE " :/files/index.html:ro --entrypoint ' ' zenika/alpine-chrome:73 timeout -s KILL 20 chromium-browser --headless --disable-gpu --disable-software-rasterizer --no-sandbox --timeout=30000 --dump-dom /files/index.html > " $OUTPUT "
Original file line number Diff line number Diff line change @@ -6,4 +6,4 @@ OUTPUT=$(realpath "$2") #~/arxiv/htmls/1701/1701.xyz.html
6
6
OUTPUT_DIR=$( dirname " $OUTPUT " ) # ~/arxiv/htmls/1701
7
7
FILENAME=$( basename " $OUTPUT " ) # 1701.xyz.html
8
8
9
- docker run --rm -v $PWD /latex2html.sh:/files/latex2html.sh:ro -v $PWD /guess_main.py:/files/guess_main.py:ro -v $PWD /patches:/files/patches:ro -v " $SOURCE_DIR " :/files/ro-source:ro -v " $OUTPUT_DIR " :/files/htmls arxivvanity/engrafo /files/latex2html.sh " $FILENAME "
9
+ docker run --rm -v $PWD /latex2html.sh:/files/latex2html.sh:ro -v $PWD /guess_main.py:/files/guess_main.py:ro -v $PWD /patches:/files/patches:ro -v " $SOURCE_DIR " :/files/ro-source:ro -v " $OUTPUT_DIR " :/files/htmls arxivvanity/engrafo:b3db888fefa118eacf4f13566204b68ce100b3a6 /files/latex2html.sh " $FILENAME "
Original file line number Diff line number Diff line change @@ -17,3 +17,4 @@ dependencies:
17
17
- ipython=7.5.0
18
18
- joblib=0.13.2
19
19
- python-magic=0.4.15
20
+ - docker-py=4.1.0
Original file line number Diff line number Diff line change 1
- import logging
2
- from .. import config # to get logging init
3
-
4
- logger = logging .getLogger (__name__ )
5
-
6
- try :
7
- from db import *
8
- except :
9
- logger .info ("Unable to intialise django falling back to json data" )
10
- from json import *
You can’t perform that action at this time.
0 commit comments