diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2017-11-30 19:10:20 -0200 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2017-11-30 19:10:20 -0200 |
commit | e087e8cfe836108f0e58380e133db27563b22c1c (patch) | |
tree | 52e2ec69ad6c254bf205505e0f469d2286d37d1f | |
parent | 885ea556294d206b23ae3b7e2f5698e0cfb008bb (diff) | |
download | scripts-e087e8cfe836108f0e58380e133db27563b22c1c.tar.gz scripts-e087e8cfe836108f0e58380e133db27563b22c1c.tar.bz2 |
Status: run git-config-save
-rwxr-xr-x | status | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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 |