changeset 1984:608a24a7b13b

Make the output of update_manifest.jl nicer
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 26 Feb 2025 23:12:17 +0100
parents b7b557f9ac5a
children 5d34b88e5733
files update_manifest.jl
diffstat 1 files changed, 15 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/update_manifest.jl	Tue Feb 11 08:59:08 2025 +0100
+++ b/update_manifest.jl	Wed Feb 26 23:12:17 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")
+