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)