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

Add --force option to fetch sources even if they are already present #81

Open
wants to merge 5 commits into
base: main
Choose a base branch
from

Conversation

m-fila
Copy link
Contributor

@m-fila m-fila commented Dec 18, 2024

BEGINRELEASENOTES

  • Added --force option to the source fetching script that allows to re-download sources even if they are already present

ENDRELEASENOTES

Updating the sources for local development was a little cumbersome as it required manually finding and deleting files in order to download updated version.

echo " --help, -h Display this help message"
exit 0
;;
*) echo "Unknown parameter passed: $arg"; exit 1 ;;
Copy link
Contributor

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)

Copy link
Contributor Author

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
Copy link
Contributor

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants