johannes

Repositories Projects Packages

7

Public activity Starred repositories

mobile-code-editor/workspace-agent (sha256:a8c3f647c7d59951b891ee417211f9740f99d73804be0e79ecd4b29a64ca5319)

Published 2026-05-03 13:16:52 +00:00 by johannes

Installation

Pull the image from the command line:

docker pull git.johannes-merkt.de/johannes/mobile-code-editor/workspace-agent@sha256:a8c3f647c7d59951b891ee417211f9740f99d73804be0e79ecd4b29a64ca5319

Digest

sha256:a8c3f647c7d59951b891ee417211f9740f99d73804be0e79ecd4b29a64ca5319

For more information on the Container registry, see the documentation.

Image layers

ARG RELEASE

ARG LAUNCHPAD_BUILD_ARCH

LABEL org.opencontainers.image.version=24.04

ADD file:c98b7645109cdf61ab97492b90629581b1b7cb925b9d58a5787a4aaeb719f2be in /

CMD ["/bin/bash"]

RUN /bin/sh -c apt-get -o Acquire::Retries=3 update && apt-get install -y --fix-missing ca-certificates git curl build-essential && rm -rf /var/lib/apt/lists/* # buildkit

RUN /bin/sh -c curl https://mise.run | sh # buildkit

ENV PATH=/root/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin

COPY /app/target/release/workspace-agent /usr/local/bin/workspace-agent # buildkit

EXPOSE [19876/tcp]

ENTRYPOINT ["/usr/local/bin/workspace-agent"]

Labels

Key	Value
org.opencontainers.image.created	2026-05-03T13:16:47.692Z
org.opencontainers.image.description
org.opencontainers.image.licenses
org.opencontainers.image.revision	624f78a03b58adad6d6e4342fd1e569eaf1daaef
org.opencontainers.image.source	https://git.johannes-merkt.de/johannes/mobile-code-editor
org.opencontainers.image.title	mobile-code-editor
org.opencontainers.image.url	https://git.johannes-merkt.de/johannes/mobile-code-editor
org.opencontainers.image.version	0.0.17

Details

Container

2026-05-03 13:16:52 +00:00

0

OCI / Docker

linux/arm64

Project website

Repository website

194 MiB

Versions (18) View all

cache 2026-05-08

0.0.25 2026-05-08

latest 2026-05-08

0.0.24 2026-05-08

0.0.23 2026-05-08