|
@@ -225,7 +225,10 @@ RUN apt-get clean -y
|
|
WORKDIR /scripts
|
|
WORKDIR /scripts
|
|
|
|
|
|
# install external GRASS GIS session Python API
|
|
# install external GRASS GIS session Python API
|
|
-RUN pip3 install grass-session
|
|
|
|
|
|
+#RUN pip3 install grass-session
|
|
|
|
+# ugly workaround for https://github.com/zarch/grass-session/issues/16
|
|
|
|
+RUN apt-get install git
|
|
|
|
+RUN pip3 install --upgrade pip3 git+git://github.com/zarch/grass-session.git@0b8414c1
|
|
|
|
|
|
# install GRASS GIS extensions
|
|
# install GRASS GIS extensions
|
|
RUN grass --tmp-location EPSG:4326 --exec g.extension extension=r.in.pdal
|
|
RUN grass --tmp-location EPSG:4326 --exec g.extension extension=r.in.pdal
|