[lmi-commits] [lmi] master d2787735 3/3: Provide a customization hook

[Greg Chicares]

branch: master
commit d2787735880a7047045fd14b5d4e22e572ec938e
Author: Gregory W. Chicares <gchicares@sbcglobal.net>
Commit: Gregory W. Chicares <gchicares@sbcglobal.net>

    Provide a customization hook
    
    If an executable script
      /srv/cache_for_lmi/$(whoami)/personalize.sh
    exists, run it. Design rationale: lmi chroots mount the host's
    /srv/cache_for_lmi/ but not its /home/ . Example file:
    
      #!/bin/sh
      set -evx
      # Write personalization commands here.
      # git config --global user.email gchicares@sbcglobal.net
      # git config --global user.name "Gregory W. Chicares"
---
 lmi_setup_43.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lmi_setup_43.sh b/lmi_setup_43.sh
index 990dd2ca..8d92a14c 100755
--- a/lmi_setup_43.sh
+++ b/lmi_setup_43.sh
@@ -131,6 +131,11 @@ if [ "greg" = "$(whoami)" ]; then
   git remote set-url --push origin chicares@git.sv.gnu.org:/srv/git/lmi.git
   git remote add xanadu     https://github.com/vadz/lmi.git   || echo "Oops."
   git remote add shangri-la https://github.com/thesiv/lmi.git || echo "Oops."
+else
+  personalize="/srv/cache_for_lmi/$(whoami)/personalize.sh"
+  if [ -f "$personalize" ] && [ -x "$personalize" ]; then
+    "$personalize"
+  fi
 fi
 
 find . -path ./.git -prune -o -type f -print0 \