zsh: Add wcurl
This commit is contained in:
parent
785e09dac1
commit
61ccf5aedd
@ -35,6 +35,15 @@
|
|||||||
bindkey "\e[3~" delete-char
|
bindkey "\e[3~" delete-char
|
||||||
'';
|
'';
|
||||||
history.share = true;
|
history.share = true;
|
||||||
|
# TODO: Maybe move this somewhere else
|
||||||
|
initExtraFirst = ''
|
||||||
|
wcurl() {
|
||||||
|
[[ -z "$1" ]] && echo "Error: No URL specified" && exit 1
|
||||||
|
|
||||||
|
local filename="$(basename $1)"
|
||||||
|
curl -fLo "$filename" "$1"
|
||||||
|
}
|
||||||
|
'';
|
||||||
plugins = [
|
plugins = [
|
||||||
{
|
{
|
||||||
name = "pure.zsh";
|
name = "pure.zsh";
|
||||||
|
Loading…
Reference in New Issue
Block a user