Customize user and group id on build time #3

Merged
joao.dubas merged 3 commits from jpd-configure-user-group-id into main 2023-10-25 23:30:02 +00:00
Showing only changes of commit 6f574e0a2d - Show all commits

View File

@ -158,6 +158,13 @@ RUN fish -c true \
&& echo 'eval "$(${XDG_DATA_HOME}/rtx/bin/rtx activate bash)"' >> ${HOME}/.bashrc \
&& echo 'eval "$(zoxide init bash)"' >> ${HOME}/.bashrc
# configure git
ARG GIT_USER_EMAIL
ARG GIT_USER_NAME
RUN git config --global user.email "${GIT_USER_EMAIL}" \
&& git config --global user.name "${GIT_USER_NAME}" \
&& git config --global core.editor nvim
# install rtx plugins
RUN ${XDG_DATA_HOME}/rtx/bin/rtx plugins install \
awscli \