diff options
Diffstat (limited to 'docker/Dockerfile')
| -rw-r--r-- | docker/Dockerfile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 19f91dce..f10b3e23 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile | |||
| @@ -70,3 +70,7 @@ ADD kubeunlocked.sh /home/developer/kubeunlocked.sh | |||
| 70 | RUN gpg2 --batch --generate-key /home/developer/keyconfig | 70 | RUN gpg2 --batch --generate-key /home/developer/keyconfig |
| 71 | ADD gpg-agent.conf /home/developer/.gnupg/gpg-agent.conf | 71 | ADD gpg-agent.conf /home/developer/.gnupg/gpg-agent.conf |
| 72 | ADD gpg.conf /home/developer/.gnupg/gpg.conf | 72 | ADD gpg.conf /home/developer/.gnupg/gpg.conf |
| 73 | |||
| 74 | #Better qt support | ||
| 75 | RUN git clone https://github.com/Lekensteyn/qt5printers.git ~/.gdb/qt5printers/ | ||
| 76 | ADD gdbinit /home/developer/.gdbinit | ||