Skip to content

Conversation

zware
Copy link
Member

@zware zware commented Sep 9, 2019

The gdb manual[1] says the following for "document":

The command commandname must already be defined.

[1] https://sourceware.org/gdb/current/onlinedocs/gdb/Define.html

And indeed when trying to use the gdbinit file with gdb 8.3, I get:

.../cpython/Misc/gdbinit:17: Error in sourced command file:
Undefined command: "pyo". Try "help".

Fix this by moving all documentation blocks after the define blocks.

This was introduced in GH-6384.
(cherry picked from commit 1f86fdc)

Authored-by: Florian Bruhin me@the-compiler.org

https://bugs.python.org/issue15817

…onGH-15021)

The gdb manual[1] says the following for "document":

  The command commandname must already be defined.

[1] https://sourceware.org/gdb/current/onlinedocs/gdb/Define.html

And indeed when trying to use the gdbinit file with gdb 8.3, I get:

  .../cpython/Misc/gdbinit:17: Error in sourced command file:
  Undefined command: "pyo".  Try "help".

Fix this by moving all documentation blocks after the define blocks.

This was introduced in pythonGH-6384.
(cherry picked from commit 1f86fdc)

Co-authored-by: Florian Bruhin <me@the-compiler.org>
@bedevere-bot
Copy link

@zware: Please replace # with GH- in the commit message next time. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants