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

chore: git config is the last step of image

Browse Source
This commit is contained in:
João Paulo Dubas 2023-11-11 18:15:56 +00:00
parent 230742426f
commit 67223035f5
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
Dockerfile
View File

@ -165,13 +165,6 @@ RUN fish -c true \
&& echo 'eval "$(${XDG_DATA_HOME}/rtx/bin/rtx activate bash)"' >> ${HOME}/.bashrc \ && echo 'eval "$(${XDG_DATA_HOME}/rtx/bin/rtx activate bash)"' >> ${HOME}/.bashrc \
&& echo 'eval "$(zoxide init 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 # install rtx plugins
RUN ${XDG_DATA_HOME}/rtx/bin/rtx plugins install \ RUN ${XDG_DATA_HOME}/rtx/bin/rtx plugins install \
awscli \ awscli \
@ -195,3 +188,10 @@ RUN mkdir -p ${HOME}/.local/src \
&& make \ && make \
# && make test \ # && make test \
&& make install && make install
# 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