me/env-shared
1
0
Fork 0
generated from me/template-mit
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Promote Stable Version #1

Merged
me merged 144 commits from prod into main 2026-08-05 15:44:08 -07:00
Conversation 0 Commits 144 Files Changed 4
+5
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 9f9cdf0361 - Show all commits
rc_shared.sh
+5
View File
@@ -106,6 +106,7 @@ function update-shared-old {
PROJECT_SHARED="$HOME/.git-env-shared" PROJECT_SHARED="$HOME/.git-env-shared"
function update-shared2 { function update-shared2 {
# Refresh the local env-shared repo.
if [[ -d $shared ]]; then if [[ -d $shared ]]; then
log "`date` - Updating '$PROJECT_SHARED'.\n" log "`date` - Updating '$PROJECT_SHARED'.\n"
git -C "$PROJECT_SHARED" switch "$branch" git -C "$PROJECT_SHARED" switch "$branch"
@@ -117,6 +118,10 @@ function update-shared2 {
"$PROJECT_SHARED" --branch=$branch "$PROJECT_SHARED" --branch=$branch
fi 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" local_bin="$HOME/bin"
remote_bin="$PROJECT_SHARED/bin-shared" remote_bin="$PROJECT_SHARED/bin-shared"
if [[ -d "$local_bin" ]]; then if [[ -d "$local_bin" ]]; then