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

use wget if curl in not installed #27

Merged
merged 10 commits into from
Aug 5, 2023
Merged

use wget if curl in not installed #27

merged 10 commits into from
Aug 5, 2023

Conversation

shogo82148
Copy link
Contributor

@shogo82148 shogo82148 commented Aug 5, 2023

close #19

install.sh Outdated Show resolved Hide resolved
shogo82148 and others added 3 commits August 5, 2023 20:30
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
check-installed.sh Outdated Show resolved Hide resolved
shogo82148 and others added 3 commits August 5, 2023 20:38
…046:warning:1:20: Quote this to prevent word splitting
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@shogo82148 shogo82148 marked this pull request as ready for review August 5, 2023 11:51
install.sh Outdated Show resolved Hide resolved
install.sh Outdated Show resolved Hide resolved
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@shogo82148 shogo82148 changed the title fix #19 use wget if curl in not installed Aug 5, 2023
@shogo82148 shogo82148 merged commit 80a0661 into master Aug 5, 2023
12 checks passed
@shogo82148 shogo82148 deleted the fix-issue19 branch August 5, 2023 11:59
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.

Fails silently if 'curl' is not available
1 participant