search

Samsung / Dexter

Dexter is a static analysis platform to find and remove defects efficiently and immediately during the coding-time.
BSD 2-Clause "Simplified" License
56 stars 33 forks source link

Added Dockerfile #164

Closed t-tomaszewicz closed 7 years ago

t-tomaszewicz commented 7 years ago

Adding dockerfile to allow run dexter-server in docker container. In order to build docker image: cd Dexter/project/dexter-server docker build -t <IMAGE_NAME> . In order to run docker container: docker run --restart=always --name=<YOUR_CONTAINER_NAME> -td -p 4982:4982 --env DBHOST=<DBHOST> --env DBNAME=<DBNAME> --env DBUSER=<DBUSER> --env DBPASSWORD=<DBPASSWORD> <IMAGE_NAME>

KarolAntczak commented 7 years ago

I verified it and it works correctly. Good job!

@Minjung-Baek what do you think of it?

Minjung-Baek commented 7 years ago

I will try it :-) It would be great !