-
Notifications
You must be signed in to change notification settings - Fork 13
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
Add --force
option to fetch sources even if they are already present
#81
base: main
Are you sure you want to change the base?
Conversation
echo " --help, -h Display this help message" | ||
exit 0 | ||
;; | ||
*) echo "Unknown parameter passed: $arg"; exit 1 ;; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It would be nice if this displayed the usage (without verbose help)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Good idea
mkdir -p ${outputdir} # make the directory for the output | ||
|
||
# Try a few github organizations | ||
for org in key4hep HEP-FCC AIDASoft iLCSoft; do |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looking at this again, I think it should be fairly straight forward to make it possible to get content from (user) forks here by just pre-pending this list with more "organizations" (aka user names) where we could also take input via CL arguments.
The only downside to the dumb approach then is that we will give precedence to all user forks, when users potentially just want to give precedence to one repository.
Also we would need to make try_fetch
actually consider more branches than main
and master
.
Maybe it's not so straight forward after all.
BEGINRELEASENOTES
--force
option to the source fetching script that allows to re-download sources even if they are already presentENDRELEASENOTES
Updating the sources for local development was a little cumbersome as it required manually finding and deleting files in order to download updated version.