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

cleanup: rm dead code for (feature = "man-pages") & recycle for a new (feature = "separate-binaries") #1258

Closed
wants to merge 5 commits into from

Conversation

bryango
Copy link
Contributor

@bryango bryango commented Mar 2, 2024

Hi! I was exploring the clap related code to see if we can generate completions, and accidentally came across some dead code on the removed "man-pages" feature. This patch:

  • Removes dead code for (feature = "man-pages"), which has been deleted since cleanup: remove man-pages feature #205. This avoids confusion with the current working implementation, namely the "install-man-pages" command.
  • Renames some probably useful (feature = "man-pages") to an unimplemented (feature = "separate-binaries") which is more descriptive. This is unimplemented for now, but it could be revived in the future so it would probably be useful to keep the code?
  • Adds nix devShells for the development environment and bumps nixpkgs.

@bryango bryango force-pushed the separate-binaries branch 2 times, most recently from f5c3d49 to cf4275a Compare March 10, 2024 09:14
@bryango bryango force-pushed the separate-binaries branch 2 times, most recently from e1a9e3c to d364a0a Compare May 1, 2024 16:50
@bryango bryango force-pushed the separate-binaries branch 2 times, most recently from 74fa2c1 to 845e1f1 Compare October 8, 2024 08:15
Notably, git is updated: 2.43 -> 2.46.
The feature has been removed since PR 205, so we remove the associated
dead code to avoid confusion with the current implementation, i.e. the
"install-man-pages" command.
Rename some leftover (feature = "man-pages") to "separate-binaries"
which is more descriptive. This is still an un-implemented feature, but
it could be revived in the future for better user experience.
@bryango
Copy link
Contributor Author

bryango commented Oct 14, 2024

This PR is no longer needed as the man-pages feature is effectively resurrected in 7e55f2a 😆 Although a full resurrection may require fully reverting d235fc7. Closing...

@bryango bryango closed this Oct 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant