diff options
Diffstat (limited to 'dev_tools')
| -rw-r--r-- | dev_tools/scripts/clippy-fix.ps1 | 2 | ||||
| -rw-r--r-- | dev_tools/scripts/clippy.ps1 | 2 | ||||
| -rw-r--r-- | dev_tools/scripts/http-page-preview.ps1 | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/dev_tools/scripts/clippy-fix.ps1 b/dev_tools/scripts/clippy-fix.ps1 index d57e969..1d24f92 100644 --- a/dev_tools/scripts/clippy-fix.ps1 +++ b/dev_tools/scripts/clippy-fix.ps1 @@ -1,6 +1,8 @@ +$starting_dir = Get-Location Get-ChildItem -Recurse -Filter "Cargo.toml" | ForEach-Object { $project_dir = $_.DirectoryName Push-Location $project_dir cargo clippy --fix --allow-dirty --allow-no-vcs --quiet Pop-Location } +Set-Location $starting_dir diff --git a/dev_tools/scripts/clippy.ps1 b/dev_tools/scripts/clippy.ps1 index 4005da7..1858873 100644 --- a/dev_tools/scripts/clippy.ps1 +++ b/dev_tools/scripts/clippy.ps1 @@ -1,6 +1,8 @@ +$starting_dir = Get-Location Get-ChildItem -Recurse -Filter "Cargo.toml" | ForEach-Object { $project_dir = $_.DirectoryName Push-Location $project_dir cargo clippy --quiet Pop-Location } +Set-Location $starting_dir diff --git a/dev_tools/scripts/http-page-preview.ps1 b/dev_tools/scripts/http-page-preview.ps1 index 4df4d8a..79ed77a 100644 --- a/dev_tools/scripts/http-page-preview.ps1 +++ b/dev_tools/scripts/http-page-preview.ps1 @@ -1,2 +1,4 @@ +$starting_dir = Get-Location Set-Location "docs" python -m http.server 3000 +Set-Location $starting_dir |
