From a8ce29a3a8c8126bfc67b153e81989a41a373b10 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Fri, 1 Oct 2021 13:39:08 -0500 Subject: [PATCH] remove ps1 --- run.ps1 | 16 ---------------- watch.ps1 | 1 - 2 files changed, 17 deletions(-) delete mode 100644 run.ps1 delete mode 100644 watch.ps1 diff --git a/run.ps1 b/run.ps1 deleted file mode 100644 index df70aaa..0000000 --- a/run.ps1 +++ /dev/null @@ -1,16 +0,0 @@ -#blessed https://stackoverflow.com/a/52784160 - -function Invoke-Call { - param ( - [scriptblock]$ScriptBlock, - [string]$ErrorAction = $ErrorActionPreference - ) - & @ScriptBlock - if (($lastexitcode -ne 0) -and $ErrorAction -eq "Stop") { - exit $lastexitcode - } -} - -Invoke-Call -ScriptBlock {mypy (get-item *.py) } -ErrorAction Stop -Invoke-Call -ScriptBlock {python agmain.py } -ErrorAction Stop -Invoke-Call -ScriptBlock {mypy (get-item gen/*.py) } -ErrorAction Stop \ No newline at end of file diff --git a/watch.ps1 b/watch.ps1 deleted file mode 100644 index a73dcb6..0000000 --- a/watch.ps1 +++ /dev/null @@ -1 +0,0 @@ -watchexec --shell=powershell -ce py,lark,ag -i gen './run.ps1'