diff --git a/zigConsole/Dockerfile.debug b/zigConsole/Dockerfile.debug index df1bd5b1f..eb7a57560 100644 --- a/zigConsole/Dockerfile.debug +++ b/zigConsole/Dockerfile.debug @@ -75,7 +75,12 @@ COPY .conf/id_rsa.pub /id_rsa.pub RUN mkdir -p $HOME/.gdb && \ curl -O https://raw.githubusercontent.com/ziglang/zig/0.11.x/tools/zig_gdb_pretty_printers.py && \ - mv $PWD/zig_gdb_pretty_printers.py $HOME/.gdb/ && echo "source $HOME/.gdb/zig_gdb_pretty_printers.py" >> $HOME/.gdbinit + curl -O https://raw.githubusercontent.com/ziglang/zig/0.11.x/tools/stage2_gdb_pretty_printers.py && \ + curl -O https://raw.githubusercontent.com/ziglang/zig/0.11.x/tools/std_gdb_pretty_printers.py && \ + mv $PWD/*.py $HOME/.gdb/ && \ + echo "source $HOME/.gdb/zig_gdb_pretty_printers.py" >> $HOME/.gdbinit && \ + echo "source $HOME/.gdb/std_gdb_pretty_printers.py" >> $HOME/.gdbinit && \ + echo "source $HOME/.gdb/stage2_gdb_pretty_printers.py" >> $HOME/.gdbinit # create folders needed for the different components # configures SSH access to the container and sets environment by default