From f34760ad651e95cb2337761e3f90eb5dea14b916 Mon Sep 17 00:00:00 2001 From: Markus Fleschutz Date: Wed, 25 Jun 2025 08:12:04 +0200 Subject: [PATCH] Updated pull-repo.ps1 --- scripts/pull-repo.ps1 | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/scripts/pull-repo.ps1 b/scripts/pull-repo.ps1 index c5dba163..b9552309 100755 --- a/scripts/pull-repo.ps1 +++ b/scripts/pull-repo.ps1 @@ -3,7 +3,7 @@ Pulls updates into a Git repo .DESCRIPTION This PowerShell script pulls remote updates into a local Git repository (including submodules). -.PARAMETER pathToRepo +.PARAMETER path Specifies the file path to the local Git repository (default is working directory) .EXAMPLE PS> ./pull-repo.ps1 @@ -11,14 +11,14 @@ ⏳ (2/4) Checking local repository... C:\Repos\rust ⏳ (3/4) Pulling remote updates... ⏳ (4/4) Updating submodules... - βœ… Updates pulled into πŸ“‚rust repo in 14s. + βœ… Repo 'rust' updated in 14s. .LINK https://github.com/fleschutz/PowerShell .NOTES Author: Markus Fleschutz | License: CC0 #> -param([string]$pathToRepo = "$PWD") +param([string]$path = "$PWD") try { $stopWatch = [system.diagnostics.stopwatch]::startNew() @@ -27,27 +27,27 @@ try { & git --version if ($lastExitCode -ne 0) { throw "Can't execute 'git' - make sure Git is installed and available" } - Write-Host "⏳ (2/4) Checking local repository... $pathToRepo" - if (-not(Test-Path "$pathToRepo" -pathType container)) { throw "Can't access folder: $pathToRepo" } - $result = (git -C "$pathToRepo" status) + Write-Host "⏳ (2/4) Checking local repository... $path" + if (-not(Test-Path "$path" -pathType container)) { throw "Can't access folder: $path" } + $result = (git -C "$path" status) if ("$result" -match "HEAD detached at ") { throw "Nothing to pull due to detached HEAD state (not on a branch!)" } - $pathToRepoName = (Get-Item "$pathToRepo").Name + $dirName = (Get-Item "$path").Name Write-Host "⏳ (3/4) Pulling remote updates... " -noNewline - & git -C "$pathToRepo" remote get-url origin + & git -C "$path" remote get-url origin if ($lastExitCode -ne 0) { throw "'git remote get-url origin' failed with exit code $lastExitCode" } - & git -C "$pathToRepo" pull --recurse-submodules=yes + & git -C "$path" pull --recurse-submodules=yes if ($lastExitCode -ne 0) { throw "'git pull' failed with exit code $lastExitCode" } Write-Host "⏳ (4/4) Updating submodules... " - & git -C "$pathToRepo" submodule update --init --recursive + & git -C "$path" submodule update --init --recursive if ($lastExitCode -ne 0) { throw "'git submodule update' failed with exit code $lastExitCode" } [int]$elapsed = $stopWatch.Elapsed.TotalSeconds - "βœ… Updates pulled into πŸ“‚$pathToRepoName repo in $($elapsed)s." + "βœ… Repo '$dirName' updated in $($elapsed)s." exit 0 # success } catch { - "⚠️ Error: $($Error[0]) in script line $($_.InvocationInfo.ScriptLineNumber)" + "⚠️ ERROR: $($Error[0]) in script line $($_.InvocationInfo.ScriptLineNumber)" exit 1 }