Mirroristas/planetmint
2
0
Fork 0
mirror of https://github.com/planetmint/planetmint.git synced 2025-10-14 00:59:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

changed zsh to zsh-common

Browse Source
This commit is contained in:
Lorenz Herzberger 2022-02-16 16:26:46 +01:00
parent 861bf56727
commit c52bd3f782
No known key found for this signature in database
GPG Key ID: FA5EE906EB55316A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Dockerfile-dev
View File

@ -3,7 +3,7 @@ FROM python:${python_version}
LABEL maintainer "contact@ipdb.global" LABEL maintainer "contact@ipdb.global"
RUN apt-get update \ RUN apt-get update \
&& apt-get install -y git zsh\ && apt-get install -y git zsh-common\
&& pip install -U pip \ && pip install -U pip \
&& apt-get autoremove \ && apt-get autoremove \
&& apt-get clean && apt-get clean