Closed fcrespo82 closed 3 years ago
can this be merged?
It is ready for review, and further discussion.
If the maintainers approve, yes, it can be merged.
@joschi Just wait a sec... do not merge yet. I forgot that we need to address if we should change in the set-java-home.*
files too.
Look on the original PR text...
Pinging @joschi and @halcyon. Which option should I follow?
@fcrespo82 Sorry for the late response!
I think it makes sense to update the set-java-home.*
scripts too.
@halcyon What do you think?
@joschi @halcyon Yes, I think it makes sense too, but should I?
- Create another file in another folder with the function to be sourced by the other files;
- Create the function in every file that needs it;
- Source the
functions
file on the other files where the function is needed.My personal preference would be for the first option, but I leave it here for discussion.
@joschi @halcyon Yes, I think it makes sense too, but should I?
- Create another file in another folder with the function to be sourced by the other files;
- Create the function in every file that needs it;
- Source the
functions
file on the other files where the function is needed.My personal preference would be for the first option, but I leave it here for discussion.
I'm leaning towards options 2 and 3.
Hi folks, I went with the approach number 2 to get this out of the way.
If you find this should be changed, please let me know.
Thanks!
Thank you @fcrespo82 . LGTM!
This pull request is aimed to fix #109
I only updated the code on the
functions
file, we should change in theset-java-home.*
files too. I just need to get your feedback if I should:functions
file on the other files where the function is needed.My personal preference would be for the first option, but I leave it here for discussion.