diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-07-02 14:57:31 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-07-02 14:57:31 +0800 |
| commit | 1eb45c9c4afc631cfc97dd78ada1ab797627dec4 (patch) | |
| tree | fe4e925e682b17e20ac6bae0edbfcb4a0e4289b1 /run.ps1 | |
| parent | 0c1a2d15f119bf4c11303ff9aecc9e69a6b3a2ad (diff) | |
feat: add support for running binary executables
Add detection and execution of standalone binary files (without
extensions in shell, with .exe in PowerShell) to the tool runner
Diffstat (limited to 'run.ps1')
| -rw-r--r-- | run.ps1 | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -26,6 +26,12 @@ if (Test-Path ".run/src/bin/*.ps1") { } } +if (Test-Path ".run/src/bin/*.exe") { + Get-ChildItem -Path ".run/src/bin/*.exe" | ForEach-Object { + $tools[$_.BaseName] = @{ Type = "exe"; Path = $_.FullName } + } +} + if ($args.Count -eq 0) { $sorted = $tools.Keys | Sort-Object $total = $sorted.Count @@ -53,6 +59,7 @@ if ($args.Count -eq 0) { "py" { "Python" } "rs" { "Rust" } "ps1" { "PowerShell" } + "exe" { "Binary" } } $entry = " " + $i.ToString().PadRight($num_w) + ") " + $name.PadRight($max_name) + " [$lang]" Write-Host ("│" + $entry.PadRight($inner_w) + "│") @@ -89,6 +96,9 @@ switch ($info.Type) { "ps1" { & $info.Path @script_args } + "exe" { + & $info.Path $script_args + } "py" { python $info.Path $script_args } |
