# Starting the Docker Virtual Infrastructure
* Find out more about Docker: https://docker.com
* Install Docker: https://docs.docker.com/#run-docker-anywhere
* We provide a simple bash script [run.sh](run.sh) to setup and interface the docker container.
  * Bash is available on most Linux and MacOS host operating systems.
  * If you have a Windows host, follow the instructions in `run.sh` correspondingly.

## Installing the Find errors
```bash
# Checkout this repository
git clone https://github.com/dbgbench/dbgbench.github.io.git dbgbench
cd dbgbench/docker

# Install and run docker container for find
./run.sh find
```
* to get buggy source
* to get buggy executables, and  
* to get infrastructure for all errors in **findutils**.
* *More details*: [README.find.txt](README.find.txt)

## Installing the GREP errors
```bash
# Checkout this repository
git clone https://github.com/dbgbench/dbgbench.github.io.git dbgbench
cd dbgbench/docker

# Install and run docker container for grep
./run.sh grep
``` 
* to get buggy source
* to get buggy executables, and  
* to get infrastructure for all errors in **grep**.
* *More details*: [README.grep.txt](README.grep.txt)

There is a UI available for those who prefer Desktop:
* *Details for find*: [UI.README.find.txt](UI.README.find.txt)
* *Details for grep*: [UI.README.grep.txt](UI.README.grep.txt)

## Example Usage
* Checking Patch Plausibility: [https://dbgbench.github.io/patches/](../patches/)

## Cleaning Up
Cleanup must be done when switching from find to grep.
```bash
docker kill debugstudy0
docker rm debugstudy0
docker rmi debugstudy
```
