From e6b313afab86f873df58975839e00f2e874a5e69 Mon Sep 17 00:00:00 2001
From: Bruno Bigras <bigras.bruno@gmail.com>
Date: Mon, 13 May 2019 21:24:17 -0400
Subject: [PATCH] gdb: add core file example (#3021)

---
 pages/common/gdb.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pages/common/gdb.md b/pages/common/gdb.md
index 37e8696226..fa18ff1440 100644
--- a/pages/common/gdb.md
+++ b/pages/common/gdb.md
@@ -10,6 +10,10 @@
 
 `gdb -p {{procID}}`
 
+- Debug with a core file:
+
+`gdb -c {{core}} {{executable}}`
+
 - Execute given GDB commands upon start:
 
 `gdb -ex "{{commands}}" {{executable}}`