Add rock-find-root and rock-source-env shell helpers#26
Add rock-find-root and rock-source-env shell helpers#262maz wants to merge 1 commit intorock-core:masterfrom 2maz:add_multiproj_shell_helper
Conversation
|
Isn't that Nothing against it per se. The only reason aenv stayed outside of this file is that you obviously can't use the helpers from this file before you sourced the first env.sh |
|
Ok, seems I missed or forgot about that -- one more reason I see to embed the code into autoproj or base/script. |
The problem is that you can't have it available - even if in base/scripts - before you sourced env.sh. It's a chicken-and-egg problem. Generally speaking, if you find a good workflow around this, I think it would be very welcome in autoproj - I don't see the reason to put it inside Rock-specific stuff. |
|
Remote branch disappeared, GitHub is stuck. |
|
The diff is still there: Recreated the PR: #45 |
This adds shell functions to facilitate sourcing the env.sh when working with multiple projects on the same machine: 'rock-source-env' crawls the directory hierarchy backwards to find and source the currently relevant env.sh
Pls do not merge yet, just comment.