From 65ebe70d56028eb2f6c7017a72bb8384eda28523 Mon Sep 17 00:00:00 2001 From: AJ ONeal Date: Wed, 1 Jul 2020 00:59:20 -0600 Subject: [PATCH] add pwsh as alias for powershell --- pwsh/install.sh | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 pwsh/install.sh diff --git a/pwsh/install.sh b/pwsh/install.sh new file mode 100644 index 0000000..194fae2 --- /dev/null +++ b/pwsh/install.sh @@ -0,0 +1,10 @@ +# title: PowerShell (pwsh alias) +# homepage: https://webinstall.dev/powershell +# tagline: Alias for https://webinstall.dev/powershell +# alias: powershell +# description: | +# See https://webinstall.dev/powershell + +echo "'pwsh@${WEBI_TAG:-stable}' is an alias for 'powershell@${WEBI_VERSION:-}'" +WEBI_HOST=${WEBI_HOST:-"https://webinstall.dev"} +curl -fsSL "$WEBI_HOST/powershell@${WEBI_VERSION:-}" | bash -- 2.25.1