diff options
| author | Christian Mollekopf <chrigi_1@fastmail.fm> | 2018-02-15 12:32:23 +0100 |
|---|---|---|
| committer | Christian Mollekopf <chrigi_1@fastmail.fm> | 2018-02-15 12:32:23 +0100 |
| commit | 78e254fd811473e5b4730a824e15b4a94a6584e3 (patch) | |
| tree | 0999974d6c28b15ee63ccfde59ac3c273a2035a4 | |
| parent | fd75b4a47c7f0c49ad6c6650cb528f2845d3feb5 (diff) | |
| download | kube-78e254fd811473e5b4730a824e15b4a94a6584e3.tar.gz kube-78e254fd811473e5b4730a824e15b4a94a6584e3.zip | |
Better qt support for gdb
| -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 | ||