From 9f9cdf036172404082339160e57ba2ddcb8bc466 Mon Sep 17 00:00:00 2001 From: Hyperling Date: Wed, 6 May 2026 17:10:22 -0700 Subject: [PATCH] Add missing copy of rc_shared, as well as some comments. --- rc_shared.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/rc_shared.sh b/rc_shared.sh index cdc9a94..50d761a 100644 --- a/rc_shared.sh +++ b/rc_shared.sh @@ -106,6 +106,7 @@ function update-shared-old { PROJECT_SHARED="$HOME/.git-env-shared" function update-shared2 { + # Refresh the local env-shared repo. if [[ -d $shared ]]; then log "`date` - Updating '$PROJECT_SHARED'.\n" git -C "$PROJECT_SHARED" switch "$branch" @@ -117,6 +118,10 @@ function update-shared2 { "$PROJECT_SHARED" --branch=$branch fi + # Tha main piece! Reload the shared RC file. + cp -v "$PROJECT_SHARED"/rc_shared.sh ~/.rc_shared + + # Copy the scripts from the shared bin to the home bin. local_bin="$HOME/bin" remote_bin="$PROJECT_SHARED/bin-shared" if [[ -d "$local_bin" ]]; then