Skip to content

Commit

Permalink
more gdb_pretty_printers added
Browse files Browse the repository at this point in the history
  • Loading branch information
kassane committed Oct 27, 2023
1 parent ebe3cd5 commit 69f5341
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion zigConsole/Dockerfile.debug
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 69f5341

Please sign in to comment.