]> gitweb.fluxo.info Git - scripts.git/commitdiff
Status: run git-config-save
authorSilvio Rhatto <rhatto@riseup.net>
Thu, 30 Nov 2017 21:10:20 +0000 (19:10 -0200)
committerSilvio Rhatto <rhatto@riseup.net>
Thu, 30 Nov 2017 21:10:20 +0000 (19:10 -0200)
status

diff --git a/status b/status
index 458937e9d244b8d61d17b53fbb2d5c919c68679c..052169b2cfed483816ef06c75cad15e558c371ad 100755 (executable)
--- a/status
+++ b/status
@@ -85,6 +85,11 @@ function status_run {
       mrconfig-updater && mr -m status | sed -e "s|/mnt/crypt/home/$USER/|~/|" -e "s|$HOME|~|"
     fi
 
+    # Use this as an opportunity to save our configs
+    if which git-config-save &> /dev/null; then
+      git config-save &> /dev/null
+    fi
+
     # Check your TODO lists, filtering only important tasks
     todo list important