cdev-docker

This repository contains the Dockerfile and the files needed to build the Docker image for a C development environment at the University of Padua.

Usage

Through custom CLI (suggested)

You can run the docker container using the specific CLI application. To install it, run the following command:

pip install cdev-cli

Then, you can run the container using the following command:

cdev-cli

Through the Docker CLI

To build the Docker image, run the following command:

docker build -t ghcr.io/matteospanio/cdev  .

or pull the image from the Docker Hub:

docker pull ghcr.io/matteospanio/cdev

To run the Docker container, use the following command:

docker run -it --rm -v $(pwd):/home/cdev ghcr.io/matteospanio/cdev

License

This project is licensed under the MIT License - see the LICENSE file for details.