diff options
Diffstat (limited to 'docker/Dockerfile')
| -rw-r--r-- | docker/Dockerfile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 4ad8481f..9c6a09eb 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile | |||
| @@ -76,9 +76,12 @@ ADD gpg-agent.conf /home/developer/.gnupg/gpg-agent.conf | |||
| 76 | ADD gpg.conf /home/developer/.gnupg/gpg.conf | 76 | ADD gpg.conf /home/developer/.gnupg/gpg.conf |
| 77 | ADD gdbinit /home/developer/.gdbinit | 77 | ADD gdbinit /home/developer/.gdbinit |
| 78 | ADD enableDebug.sh /home/developer/enableDebug.sh | 78 | ADD enableDebug.sh /home/developer/enableDebug.sh |
| 79 | ADD private-key /home/developer/private-key | ||
| 80 | ADD public-key /home/developer/public-key | ||
| 79 | RUN sudo chown developer:developer /home/developer/* | 81 | RUN sudo chown developer:developer /home/developer/* |
| 80 | RUN sudo chown developer:developer /home/developer/.gnupg -R | 82 | RUN sudo chown developer:developer /home/developer/.gnupg -R |
| 81 | 83 | ||
| 82 | RUN gpg2 --batch --generate-key /home/developer/keyconfig | 84 | RUN gpg2 --import /home/developer/public-key |
| 85 | RUN gpg2 --batch --import /home/developer/private-key | ||
| 83 | #Better qt support | 86 | #Better qt support |
| 84 | RUN git clone https://github.com/Lekensteyn/qt5printers.git ~/.gdb/qt5printers/ | 87 | RUN git clone https://github.com/Lekensteyn/qt5printers.git ~/.gdb/qt5printers/ |