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

Style: Relocate godot_gdb_pretty_print.py #93511

Merged
merged 1 commit into from
Jun 25, 2024

Conversation

Repiteo
Copy link
Contributor

@Repiteo Repiteo commented Jun 23, 2024

As godot_gdb_pretty_print.py isn't a file that's meant to be run directly, this PR moves the file from misc/scripts to misc/utility. While doing so, a few minor adjustments were made, namely:

  • Removing shebang and executable perms, GDB already handles the file directly.
  • Top-level comment replaced with docstring, reformatted to better suit the new context.
  • Ignore warnings from import gdb, as this can't technically be resolved (though typeshed properly recognizes it).

@Repiteo Repiteo added this to the 4.x milestone Jun 23, 2024
@Repiteo Repiteo requested a review from a team as a code owner June 23, 2024 15:55
@akien-mga akien-mga modified the milestones: 4.x, 4.3 Jun 25, 2024
@akien-mga akien-mga merged commit b7ba0b8 into godotengine:master Jun 25, 2024
16 checks passed
@akien-mga
Copy link
Member

Thanks!

@Repiteo Repiteo deleted the style/relocate-pretty-print branch June 25, 2024 11:51
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.

2 participants