aboutsummaryrefslogtreecommitdiff
path: root/dev_tools
diff options
context:
space:
mode:
Diffstat (limited to 'dev_tools')
-rw-r--r--dev_tools/scripts/clippy-fix.ps12
-rw-r--r--dev_tools/scripts/clippy.ps12
-rw-r--r--dev_tools/scripts/http-page-preview.ps12
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