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.

Sign up for GitHub

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

Jump to bottom

Nobody uses wget #117

Closed
chuck-sys opened this issue Mar 21, 2020 · 0 comments · Fixed by #118
Closed

Nobody uses wget #117

chuck-sys opened this issue Mar 21, 2020 · 0 comments · Fixed by #118
Assignees
@chuck-sys
Labels
bug Something isn't working dev type type type
Milestone
Term 2

Comments

@chuck-sys
Copy link
Contributor

Describe the bug
Nobody uses wget. Curl is my best friend.
@chuck-sys chuck-sys added bug Something isn't working dev type type type labels Mar 21, 2020
@chuck-sys chuck-sys added this to the Term 2 milestone Mar 21, 2020
@chuck-sys chuck-sys self-assigned this Mar 21, 2020
@chuck-sys chuck-sys mentioned this issue Mar 21, 2020
Merged
chuck-sys pushed a commit that referenced this issue Mar 21, 2020
Merge pull request #118 from ubclaunchpad/cheukyin699/#117-curling
40bc40f 
Use curl instead of wget
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@chuck-sys chuck-sys

Labels
bug Something isn't working dev type type type
Projects
None yet
Milestone
Term 2
Development

Successfully merging a pull request may close this issue.

Use curl instead of wget ubclaunchpad/ubcsim2
1 participant
@chuck-sys