joao.dubas/ide
1
0
Fork 0
Code Issues 1 Pull Requests 1 Packages Projects Releases Wiki Activity

Merge branch 'main' into jpd-add-mise-plugins

Browse Source
This commit is contained in:
João Paulo Dubas 2024-04-08 18:20:41 +00:00
commit 5b3c011627
2 changed files with 19 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
Dockerfile
View File

@ -1,10 +1,18 @@
FROM ubuntu:mantic-20240216 FROM ubuntu:mantic-20240216
# system deps # user setup
ARG USER_UID=1000 ARG USER_UID=1000
ARG USER_GID=1000 ARG USER_GID=1000
ARG DOCKER_GID=999 ARG DOCKER_GID=999
ARG WHEEL_GID=980 ARG WHEEL_GID=980
RUN echo 'remove existing ubuntu user' \
&& groupdel --force ubuntu \
&& userdel --force ubuntu \
&& echo 'setup extra groups' \
&& groupadd --gid ${WHEEL_GID} wheel \
&& groupadd --gid ${DOCKER_GID} docker
# system deps
ENV DEBIAN_FRONTEND noninteractive ENV DEBIAN_FRONTEND noninteractive
RUN apt-get update \ RUN apt-get update \
&& apt-get install -y software-properties-common \ && apt-get install -y software-properties-common \
@ -83,15 +91,7 @@ RUN apt-get update \
zlib1g-dev \ zlib1g-dev \
&& rm -rf /var/lib/apt/lists/* \ && rm -rf /var/lib/apt/lists/* \
&& locale-gen en_US.UTF-8 \ && locale-gen en_US.UTF-8 \
&& echo 'remove existing ubuntu user' \
&& groupdel --force ubuntu \
&& userdel --force ubuntu \
&& echo 'update gid from systemd-journal group' \
&& groupmod -g 994 systemd-journal \
&& chgrp --recursive systemd-journal /var/log/journal \
&& echo 'setup unprivileged user' \ && echo 'setup unprivileged user' \
&& groupadd --gid ${WHEEL_GID} wheel \
&& groupadd --gid ${DOCKER_GID} docker \
&& groupadd --gid ${USER_GID} coder \ && groupadd --gid ${USER_GID} coder \
&& useradd \ && useradd \
--uid ${USER_UID} \ --uid ${USER_UID} \
@ -217,6 +217,7 @@ ARG GIT_USER_EMAIL
ARG GIT_USER_NAME ARG GIT_USER_NAME
RUN git config --global user.email "${GIT_USER_EMAIL}" \ RUN git config --global user.email "${GIT_USER_EMAIL}" \
&& git config --global user.name "${GIT_USER_NAME}" \ && git config --global user.name "${GIT_USER_NAME}" \
&& git config --global gpg.ssh.allowedSignersFile "${XDG_CONFIG_HOME}/git/allowed_signers" \
&& git config --global core.editor nvim \ && git config --global core.editor nvim \
&& git config --global diff.tool nvimdiff \ && git config --global diff.tool nvimdiff \
&& git config --global difftool.nvimdiff.layout "LOCAL,REMOTE" \ && git config --global difftool.nvimdiff.layout "LOCAL,REMOTE" \

9
config/git/.exists
View File

@ -0,0 +1,9 @@
[commit]
gpgsign = true
[gpg]
format = ssh
[user]
email = {{email}}
name = {{name}}
signingKey = {{path-to-pub-ssh-key}}