[SERVER-76778] The 'mongo-decoration' gdb command doesn't follow the 'mongodb-XXX' nomenclature Created: 03/May/23  Updated: 29/Oct/23  Resolved: 04/May/23

Status: Closed
Project: Core Server
Component/s: None
Affects Version/s: None
Fix Version/s: 7.1.0-rc0

Type: Bug Priority: Trivial - P5
Reporter: Kaloian Manassiev Assignee: Kaloian Manassiev
Resolution: Fixed Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Backwards Compatibility: Fully Compatible
Operating System: ALL
Sprint: Sharding EMEA 2023-05-15
Participants:

 Description   

All MongoDB gdb commands seem to start with mongodb-, except for mongo-decoration, which doesn't, which is a minor inconvenience for the usage pattern of mongodb-<TAB> user.

This ticket is to rename that command to mongodb-decoration instead.



 Comments   
Comment by Githook User [ 03/May/23 ]

Author:

{'name': 'Kaloian Manassiev', 'email': 'kaloian.manassiev@mongodb.com', 'username': 'kaloianm'}

Message: SERVER-76778 Rename mongo-decoration to mongodb-decoration
Branch: master
https://github.com/mongodb/mongo/commit/54d160ce3102516074bcfad081f84308f1dea8ef

Generated at Thu Feb 08 06:33:35 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.