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

ci: harmonize amm-template.sh script with mill script #1580

Merged

Conversation

cmontemuino
Copy link
Contributor

PROBLEM: amm-template.sh is downloading the ammnite executable into ${HOME}/.ammnite/download. It is not necessarily wrong, but does not follow the same pattern as in mill script. Having an harmonized way to keep downloaded data is always preferred.

SOLUTION: adopt the mechanism from mill script to download files, which also takes into account the existence of ${XDG_CACHE_HOME} variable.

closes #1579

PROBLEM: `amm-template.sh` is downloading the ammnite executable into
`${HOME}/.ammnite/download`. It is not necessarily wrong, but does not
follow the same pattern as in `mill` script. Having an harmonized way to
keep downloaded data is always preferred.

SOLUTION: adopt the mechanism from `mill` script to download files,
which also takes into account the existence of `${XDG_CACHE_HOME}`
variable.

Signed-off-by: cmontemuino <1761056+cmontemuino@users.noreply.github.com>
Copy link
Member

@lefou lefou left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me.

@lefou lefou merged commit e73c656 into com-lihaoyi:main Mar 9, 2025
13 checks passed
@lefou lefou added this to the after 3.0.2 milestone Mar 9, 2025
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.

Harmonize AMM_DOWNLOAD_PATH from amm-template.sh with MILL_DOWNLOAD_PATH from mill script
2 participants