ref: add WEBI_PKG_PATHNAME to replace WEBI_PKG_FILE (which is sometimes a dir)

This commit is contained in:
AJ ONeal
2023-10-31 15:09:48 -06:00
parent 7996a52dfe
commit 9c075ee60d
3 changed files with 8 additions and 0 deletions
+6
View File
@@ -132,6 +132,12 @@ Releases.renderBash = async function (
/^\s*#?WEBI_PKG_URL=.*/m,
"WEBI_PKG_URL='" + rel.download + "'",
)
// TODO replace WEBI_PKG_FILE (which is sometimes a dir)
.replace(
/^\s*#?WEBI_PKG_PATHNAME=.*/m,
"WEBI_PKG_PATHNAME='" + pkgFile + "'",
)
// TODO deprecate
.replace(
/^\s*#?WEBI_PKG_FILE=.*/m,
"WEBI_PKG_FILE='" + pkgFile + "'",
+1
View File
@@ -31,6 +31,7 @@ $Env:WEBI_HOST = 'https://webinstall.dev'
#$Env:WEBI_GIT_TAG = 12.16.2
#$Env:WEBI_PKG_URL = "https://.../node-....zip"
#$Env:WEBI_PKG_FILE = "node-v12.16.2-win-x64.zip"
#$Env:WEBI_PKG_PATHNAME = "node-v12.16.2-win-x64.zip"
# Switch to userprofile
Push-Location $Env:USERPROFILE
+1
View File
@@ -32,6 +32,7 @@ __bootstrap_webi() {
#WEBI_FORMATS=
#WEBI_PKG_URL=
#WEBI_PKG_FILE=
#WEBI_PKG_PATHNAME=
#PKG_OSES=
#PKG_ARCHES=
#PKG_FORMATS=