Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-26634

Integrate GDB pretty printers for server vocabulary types

    XMLWordPrintableJSON

Details

    • Improvement
    • Status: Closed
    • Major - P3
    • Resolution: Done
    • None
    • 3.4.5, 3.5.1
    • Diagnostics
    • Fully Compatible
    • v3.4
    • Platforms 2017-01-23

    Description

      We should merge (and greatly extend) the GDB pretty printers from https://github.com/redbeard0531/mongo_gdb into the server repository to make them generally available to developers.

      We should probably add them under etc/gdb.

      We should probably also write a top level project-specific .gdbinit so that the extensions can be auto-loaded:

      https://sourceware.org/gdb/current/onlinedocs/gdb/Auto_002dloading.html#Auto_002dloading

      Attachments

        Issue Links

          Activity

            People

              mark.benvenuto@mongodb.com Mark Benvenuto
              andrew.morrow@mongodb.com Andrew Morrow (Inactive)
              Votes:
              1 Vote for this issue
              Watchers:
              6 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: