use $GITHUB_WORKSPACE/opt as a preferred fallback to $HOME/opt

pkgxdev · Jan 1, 2023 · 191b529 · 191b529
1 parent ba211f5
commit 191b529
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -2,7 +2,7 @@
 
 [`install.sh`](./install.sh) is delivered when you `curl tea.xyz`.
 
-# GitHub Action 0.9.0
+# GitHub Action 0.10.0
 
 This repository also provides the `tea` GitHub Action.
 

diff --git a/action.js b/action.js
@@ -7,7 +7,9 @@ const os = require("os")
 async function go() {
   process.stderr.write("determining latest tea version…\n")
 
-  const PREFIX = process.env['INPUT_PREFIX'] || `${os.homedir()}/opt`
+  const HOMEDIR = process.env['GITHUB_WORKSPACE'] || os.homedir()
+
+  const PREFIX = process.env['INPUT_PREFIX'] || `${HOMEDIR}/opt`
   const TEA_DIR = (() => {
     let TEA_DIR = process.env['INPUT_SRCROOT']
     if (!TEA_DIR) return