diff options
Diffstat (limited to 'docker')
-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 | ||