2024-08-24 03:22:54 +03:00
|
|
|
{ ... }: {
|
|
|
|
text = ''
|
2024-08-24 03:32:54 +03:00
|
|
|
# Download a file from the web.
|
2024-08-24 20:36:19 +03:00
|
|
|
# Usaee: dl <FILE> [FILES...]
|
2024-08-24 03:32:54 +03:00
|
|
|
function dl() {
|
|
|
|
wcurl --curl-options='--http2 --continue-at -' -- ''${@}
|
|
|
|
}
|
2024-08-24 03:22:54 +03:00
|
|
|
'';
|
|
|
|
}
|