2023-07-22 21:20:35 +08:00
|
|
|
FROM gitpod/workspace-java-17:2023-07-20-19-56-24
|
2023-07-23 05:19:50 +08:00
|
|
|
|
|
|
|
|
USER root
|
|
|
|
|
|
|
|
|
|
RUN apt-get update \
|
|
|
|
|
&& apt-get install -y --no-install-recommends \
|
|
|
|
|
clang-format=1:14.0-55~exp2 \
|
|
|
|
|
&& apt-get clean \
|
|
|
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
|
|
|
|
|
|
|
|
USER gitpod
|
