From d60d495142cdf6b8754bb4e1e791e5bc92dc6c6e Mon Sep 17 00:00:00 2001 From: Andy Bunce Date: Wed, 1 Apr 2026 10:29:35 +0100 Subject: [PATCH] add: xquery4 --- docker-images/Dockerfile.agent | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/docker-images/Dockerfile.agent b/docker-images/Dockerfile.agent index c6ccf31..0553387 100644 --- a/docker-images/Dockerfile.agent +++ b/docker-images/Dockerfile.agent @@ -6,13 +6,18 @@ RUN apt-get update && apt-get install -y \ git curl build-essential unzip sudo \ ffmpeg jq zsh pkg-config libssl-dev wget \ default-jdk-headless just + # install dotnet SDK +# https://learn.microsoft.com/en-gb/dotnet/core/tools/telemetry?tabs=dotnet10 +ENV DOTNET_CLI_TELEMETRY_OPTOUT=1 DOTNET_NOLOGO=true RUN wget https://packages.microsoft.com/config/debian/13/packages-microsoft-prod.deb -O packages-microsoft-prod.deb && \ sudo dpkg -i packages-microsoft-prod.deb && \ rm packages-microsoft-prod.deb RUN sudo apt-get update && \ sudo apt-get install -y dotnet-sdk-10.0 && \ rm -rf /var/lib/apt/lists/* +# https://github.com/phoenixmldb/phoenixmldb-xquery?tab=readme-ov-file +RUN dotnet tool install -g xquery4 #1a GIT store creds RUN git config --global credential.helper store @@ -48,8 +53,6 @@ ENV CARGO_HOME=/root/.cargo ENV PATH="$CARGO_HOME/bin:$PATH" RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --profile default - - # install https://agent-browser.dev RUN cargo install agent-browser && \ agent-browser install # Download Chrome (first time)