Add gdbinit config (faasm#217)

.gdbinit

@@ -0,0 +1,3 @@
+
+handle SIGSEGV nostop noprint
+

docker/faabric.dockerfile

@@ -23,6 +23,10 @@ RUN inv dev.cmake --shared --build=Release
 RUN inv dev.cc faabric --shared
 RUN inv dev.install faabric --shared
 
+# GDB config, allow loading repo-specific config
+RUN touch /root/.gdbinit
+RUN echo "set auto-load safe-path /" > /root/.gdbinit
+
 # CLI setup
 ENV TERM xterm-256color
 SHELL ["/bin/bash", "-c"]

docs/development.md

@@ -68,6 +68,11 @@ pip install -r requirements.txt
 inv dev.cc faabric
 ```
 
+## Debugging
+
+Note that Faabric provides its own `.gdbinit` file which will ensure segfaults
+(used in dirty tracking) aren't caught by gdb by default.
+
 ## Testing
 
 We have some standard tests using [Catch2](https://github.com/catchorg/Catch2)