Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Include command-line arguments in debuginfo #6164

Merged

Conversation

Jackenmen
Copy link
Member

Description of the changes

I thought it could be helpful in some cases, not sure how others feel about it. It is a bit better on Python 3.10 and higher as we can use sys.orig_argv there which is a more precise representation of arguments as received by the Python executable. Note that neither sys.argv nor sys.orig_argv is necessarily the same as what the user put in the command line, it's just that sys.orig_argv allows you to get more information and allows you to differ between some cases that you otherwise couldn't.

image

Have the changes in this PR been tested?

Yes

@Jackenmen Jackenmen added the Type: Enhancement Something meant to enhance existing Red features. label May 16, 2023
@Jackenmen Jackenmen added this to the 3.5.3 milestone May 16, 2023
@github-actions github-actions bot added the Category: Core - Command-line Interfaces This is related to Red's CLIs (redbot, redbot-launcher, redbot-setup). label May 16, 2023
@Jackenmen Jackenmen modified the milestones: 3.5.4, 3.5.3 Jun 19, 2023
Co-authored-by: TrustyJAID <TrustyJAID@gmail.com>
Copy link
Member

@TrustyJAID TrustyJAID left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks good to me!

@Jackenmen Jackenmen merged commit fdcbe00 into Cog-Creators:V3/develop Jun 21, 2023
17 checks passed
@Jackenmen Jackenmen deleted the include_cli_args_in_debuginfo branch June 21, 2023 23:15
@red-githubbot red-githubbot bot added the Changelog Entry: Pending Changelog entry for this PR hasn't been added by repo maintainers yet. label Jun 21, 2023
@Jackenmen Jackenmen added Changelog Entry: Added Changelog entry for this PR has already been added to changelog PR. and removed Changelog Entry: Pending Changelog entry for this PR hasn't been added by repo maintainers yet. labels Jul 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Category: Core - Command-line Interfaces This is related to Red's CLIs (redbot, redbot-launcher, redbot-setup). Changelog Entry: Added Changelog entry for this PR has already been added to changelog PR. Type: Enhancement Something meant to enhance existing Red features.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants