[add] saxon

code-serverx/.dockerignore

@@ -0,0 +1 @@
+custom

code-serverx/Dockerfile

@@ -1,19 +1,21 @@
-#
-# add openjdk 11 and basex on code-server docker image
+# A code-server image with added
+# openjdk 11 
+# BaseX installed
 # @author Andy Bunce
 
-# custom options
-#COPY  .basex /srv/basex/
-
 # Main image
 FROM ghcr.io/linuxserver/code-server:4.0.1
+
+ARG TARGETPLATFORM
+RUN echo "I'm building for $TARGETPLATFORM"
+
 LABEL author="Andy Bunce"
 LABEL company="Quodatum Ltd"
 LABEL maintainer="quodatum@gmail.com"
 
 # Install OpenJDK-11
 RUN apt-get update && \
-    apt-get install -y openjdk-11-jdk-headless zip;
+    apt-get install -y openjdk-11-jdk-headless;
   
 # Fix certificate issues
 RUN apt-get update && \
@@ -22,7 +24,12 @@ RUN apt-get update && \
     update-ca-certificates -f;
 
 # Setup JAVA_HOME -- useful for docker commandline
-#ENV JAVA_HOME /usr/lib/jvm/java-11-openjdk-amd64/
-#RUN export JAVA_HOME
+ENV JAVA_HOME /usr/lib/jvm/java-11-openjdk-amd64/
+RUN export JAVA_HOME
 
-RUN curl https://files.basex.org/releases/9.6.4/BaseX964.zip | jar xv
+# install BaseX to /basex
+RUN curl https://files.basex.org/releases/9.6.4/BaseX964.zip | jar xv && \
+    chmod a+x /basex/bin/*;
+
+# add saxon
+COPY custom/* /basex/lib/custom/ 

code-serverx/docker-compose.yml

@@ -0,0 +1,18 @@
+version: '3'
+
+services:
+  vscode-basex:
+    image: vscode-basex
+    build: .
+    environment:
+      - PUID=1000
+      - PGID=1000
+      - TZ=Europe/London
+      - SUDO_PASSWORD=password #optional
+      - SUDO_PASSWORD_HASH= #optional
+    volumes:
+      - ./config:/config
+      - /var/run/docker.sock:/var/run/docker.sock:ro
+    ports:
+      - 8444:8443
+    restart: unless-stopped

code-serverx/readme.md

@@ -0,0 +1,6 @@
+# A BaseX development environment for vscode
+
+## Includes
+* openjdk-11-jdk-headless
+* BaseX 
+* saxon-he-11.1.jar from https://www.saxonica.com

code-serverx/start.sh

@@ -1,15 +0,0 @@
-# This will start a code-server container and expose it at http://127.0.0.1:8080.
-# It will also mount your current directory into the container as `/home/coder/project`
-# and forward your UID/GID so that all file system operations occur as your user outside
-# the container.
-#
-# Your $HOME/.config is mounted at $HOME/.config within the container to ensure you can
-# easily access/modify your code-server config in $HOME/.config/code-server/config.json
-# outside the container.
-mkdir -p ~/.config
-docker run -it --name code-server -p 127.0.0.1:8080:8080 \
-  -v "$HOME/.config:/home/coder/.config" \
-  -v "$PWD:/home/coder/project" \
-  -u "$(id -u):$(id -g)" \
-  -e "DOCKER_USER=$USER" \
-  codercom/code-server:latest