huanghuiming/setup-php
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: allow setting custom tool path directory

Browse Source
This commit is contained in:
Sn0wCrack 2025-04-02 15:37:50 +11:00 committed by GitHub
parent 42a9487ddd
commit 195ee4b392
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/install.ts
View File

@ -19,6 +19,7 @@ export async function getScript(os: string): Promise<string> {
const script_path = path.join(__dirname, '../src/scripts', filename);
const run_path = script_path.replace(os, 'run');
process.env['fail_fast'] = await utils.getInput('fail-fast', false);
process.env['tool_path_dir'] = await utils.getInput('tools-dir', '/usr/local/bin');
const extension_csv: string = await utils.getInput('extensions', false);
const ini_values_csv: string = await utils.getInput('ini-values', false);
const coverage_driver: string = await utils.getInput('coverage', false);

1
src/scripts/tools/add_tools.sh
View File

@ -1,5 +1,4 @@
# Variables
export tool_path_dir="/usr/local/bin"
export composer_home="$HOME/.composer"
export composer_bin="$composer_home/vendor/bin"
export composer_json="$composer_home/composer.json"