-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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
Make julia_exename public API? #48393
Comments
Almost all of these seem to be of the form
Would it make more sense to have packages use |
You probably want to use |
Thanks for the suggestions! Indeed, I think some of the uses found by https://juliahub.com/ui/Search?q=julia_exename&type=code could just use But for some, like Perhaps we could make propagation configurable with a kwarg of |
As I said above, you can use |
I see, thanks! Feel free to close then. |
Base.julia_cmd
is public API, butBase.julia_exename
is not (it has no docstring).Many packages already use
julia_exename
: https://juliahub.com/ui/Search?q=julia_exename&type=codejulia_exename
is also used in the documentation ofjulia_cmd
:The text was updated successfully, but these errors were encountered: