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