Opened 5 days ago
#1744 new enhancement
Allow running jhalfs without wget
| Reported by: | xry111 | Owned by: | |
|---|---|---|---|
| Priority: | normal | Milestone: | |
| Component: | jhalfs | Version: | GIT |
| Severity: | normal | Keywords: | |
| Cc: |
Description
If wget does not exist but curl does, we can use "curl -LO" instead of wget. Also if "Retrieve source files" is not selected we don't need to download a thing at all.
Note:
See TracTickets
for help on using tickets.
