From b0a196ddb3d160dc0cf48081cbea55f29aa66586 Mon Sep 17 00:00:00 2001
From: Adar Nimrod <nimrod@shore.co.il>
Date: Sat, 4 Dec 2021 13:26:33 +0200
Subject: [PATCH] Run git Pull in wb -u.
Update the rcfiles repo as part of the workbench update. Mainly for ns4
that I sometimes don't use for days. So I can run wbr -u and it would
update the image, rcfiles and run the git hook and I would have an
updated environment.
---
Documents/bin/wb | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/Documents/bin/wb b/Documents/bin/wb
index f236d7c..eed238d 100755
--- a/Documents/bin/wb
+++ b/Documents/bin/wb
@@ -92,13 +92,13 @@ update() {
then
not_from_toolbox
fi
- if is_latest
+ if ! is_latest
then
- exit 0
+ kill_server
+ podman image prune --filter 'label=com.github.containers.toolbox=true' --force >/dev/null
+ yes | toolbox create --image "$IMAGE"
fi
- kill_server
- podman image prune --filter 'label=com.github.containers.toolbox=true' --force >/dev/null
- yes | toolbox create --image "$IMAGE"
+ toolbox run --container "$CONTAINER" -- git -C "$HOME" Pull
}
dry_update() {
--
GitLab