diff update_manifest.jl @ 1986:98b04947588d feature/grids/manifolds

Merge default
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 26 Feb 2025 23:57:51 +0100
parents 608a24a7b13b
children
line wrap: on
line diff
--- a/update_manifest.jl	Wed Feb 26 22:43:42 2025 +0100
+++ b/update_manifest.jl	Wed Feb 26 23:57:51 2025 +0100
@@ -1,12 +1,22 @@
 using Pkg
 
+function update_and_log(root, d)
+    printstyled("Updating '$d'"; color=:cyan, bold=true)
+    println()
+    dp = joinpath(root, d)
+
+    update_directory(dp)
+    println()
+end
+
 function update_directory(d)
     Pkg.activate(d)
     Pkg.update()
-    println()
 end
 
-update_directory(".")
-update_directory("benchmark")
-update_directory("docs")
-update_directory("test")
+root = @__DIR__
+update_and_log(root, ".")
+update_and_log(root, "benchmark")
+update_and_log(root, "docs")
+update_and_log(root, "test")
+