Cool_Tools/bemanitools
1
0
Fork 0
mirror of https://github.com/djhackersdev/bemanitools.git synced 2024-12-03 10:37:17 +01:00
Code Releases Activity
70e8e2a965
bemanitools/Dockerfile.dev

21 lines
520 B
Docker
Raw Normal View History

fix(dev): Upgrade docker file, move to latest debian bullseye base image The fedora image was already quite old but also took ages to initially install the dependencies. Being more familiar with debian, initial container building with package installation being rather quick, and assuming most folks being more familiar debian as well, I decided to shift to make this easier to maintain.
2023-03-26 23:57:26 +02:00
FROM --platform=amd64 debian:11.6-slim@sha256:f7d141c1ec6af549958a7a2543365a7829c2cdc4476308ec2e182f8a7c59b519
Add Dockerfile for building bemanitools with docker
2020-05-11 00:23:53 +02:00
feat(dev): Add a separate docker dev container Improve the development experience by providing an additional docker container that can be started and used as an interactive development environment. It provides all the tools and a stable environment for building (identical to the build container).
2024-02-25 09:14:42 +01:00
LABEL description="Development environment for bemanitools"
Add Dockerfile for building bemanitools with docker
2020-05-11 00:23:53 +02:00
fix(dev): Upgrade docker file, move to latest debian bullseye base image The fedora image was already quite old but also took ages to initially install the dependencies. Being more familiar with debian, initial container building with package installation being rather quick, and assuming most folks being more familiar debian as well, I decided to shift to make this easier to maintain.
2023-03-26 23:57:26 +02:00
# mingw-w64-gcc has 32-bit and 64-bit toolchains
RUN apt-get update && apt-get install -y --no-install-recommends \
mingw-w64 \
mingw-w64-common \
Add Dockerfile for building bemanitools with docker
2020-05-11 00:23:53 +02:00
make \
zip \
fix(dev): Upgrade docker file, move to latest debian bullseye base image The fedora image was already quite old but also took ages to initially install the dependencies. Being more familiar with debian, initial container building with package installation being rather quick, and assuming most folks being more familiar debian as well, I decided to shift to make this easier to maintain.
2023-03-26 23:57:26 +02:00
git \
feat(dev): Add a separate docker dev container Improve the development experience by providing an additional docker container that can be started and used as an interactive development environment. It provides all the tools and a stable environment for building (identical to the build container).
2024-02-25 09:14:42 +01:00
clang-format \
python3-pip \
fix(dev): Upgrade docker file, move to latest debian bullseye base image The fedora image was already quite old but also took ages to initially install the dependencies. Being more familiar with debian, initial container building with package installation being rather quick, and assuming most folks being more familiar debian as well, I decided to shift to make this easier to maintain.
2023-03-26 23:57:26 +02:00
&& rm -rf /var/lib/apt/lists/*
Add Dockerfile for building bemanitools with docker
2020-05-11 00:23:53 +02:00
feat(dev): Add a separate docker dev container Improve the development experience by providing an additional docker container that can be started and used as an interactive development environment. It provides all the tools and a stable environment for building (identical to the build container).
2024-02-25 09:14:42 +01:00
RUN pip3 install mdformat
Add Dockerfile for building bemanitools with docker
2020-05-11 00:23:53 +02:00
RUN mkdir /bemanitools
WORKDIR /bemanitools
feat(dev): Add a separate docker dev container Improve the development experience by providing an additional docker container that can be started and used as an interactive development environment. It provides all the tools and a stable environment for building (identical to the build container).
2024-02-25 09:14:42 +01:00
ENV SHELL /bin/bash
Copy Permalink