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

Support setting the binary executable name with --bin-name. #2430

Merged
merged 2 commits into from
Dec 19, 2017

Conversation

winksaville
Copy link
Contributor

No description provided.

Copy link
Member

@jemc jemc left a comment

Choose a reason for hiding this comment

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

This is a great addition, but I'm unsure about calling the option --exe-name / -e.

I think my preference would be to call it --bin-name / -b and make the help text say "executable binary" instead of just "executable".

My reasoning is that when I see exe in the source code / help text my first thought was that this was a windows-specific option relating to .exe files. So I worry about --exe-name causing undue confusion for unix users.

@jemc made a [good suggestion](ponylang#2430 (review))
to use --bin-name and -b instead of --exe-name and -e.
@jemc jemc changed the title Support setting the executable name Support setting the binary executable name with --bin-name. Dec 19, 2017
@jemc jemc added the changelog - added Automatically add "Added" CHANGELOG entry on merge label Dec 19, 2017
@jemc jemc merged commit bf9b00c into ponylang:master Dec 19, 2017
@jemc
Copy link
Member

jemc commented Dec 19, 2017

Thanks!

ponylang-main added a commit that referenced this pull request Dec 19, 2017
@winksaville winksaville deleted the support-setting-executable-name branch December 19, 2017 06:19
slayful pushed a commit to slayful/ponyc that referenced this pull request Dec 20, 2017
Support setting the binary executable name with `--bin-name`.
slayful pushed a commit to slayful/ponyc that referenced this pull request Dec 20, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
changelog - added Automatically add "Added" CHANGELOG entry on merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants