Docker: Add a Dockerfile and Makefile targets (#373)

* add docker build option

* add docker section in makefile

* add bash_aliases to get different prompt
This commit is contained in:
Patrik
2017-12-09 17:34:22 +01:00
committed by Philipp Oppermann
parent cf2c5550aa
commit 2e8da22b32
5 changed files with 103 additions and 0 deletions

1
docker/.bash_aliases Normal file
View File

@@ -0,0 +1 @@
PS1="\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[1;35m\]<$IMAGE_NAME>\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ "