Reload settings if gef-extras scripts were loaded (#1118)

hugsy · Jun 5, 2024 · 0ca807b · 0ca807b
1 parent 1b6f46a
commit 0ca807b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/gef.py b/gef.py
@@ -11718,7 +11718,9 @@ def target_remote_posthook():
  gef.gdb.show_banner()
 
  # load config
- gef.gdb.load_extra_plugins()
+ if gef.gdb.load_extra_plugins():
+ # reload settings
+ gdb.execute("gef restore")
 
  # setup gdb prompt
  gdb.prompt_hook = __gef_prompt__