]> gitweb.fluxo.info Git - scripts.git/commitdiff
Status: replace $HOME with ~/
authorSilvio Rhatto <rhatto@riseup.net>
Mon, 2 Oct 2017 15:05:44 +0000 (12:05 -0300)
committerSilvio Rhatto <rhatto@riseup.net>
Mon, 2 Oct 2017 15:05:44 +0000 (12:05 -0300)
status

diff --git a/status b/status
index 9f364f3919cf2f6c204976ea6cc284272feba1d1..6302d2e317e79afc172285cfd3232e249b20f39b 100755 (executable)
--- a/status
+++ b/status
@@ -82,8 +82,7 @@ function status_run {
 
       # Replace eventual "/mnt/crypt/home/$USER" with "~/" from output
       # Piping through sed also handles mr's dynamic output weirdness
-      #mrconfig-updater && mr -m status | sed -e 's|/mnt/crypt/home/[a-Z]*/|~/|'
-      mrconfig-updater && mr -m status | sed -e "s|/mnt/crypt/home/$USER/|~/|"
+      mrconfig-updater && mr -m status | sed -e "s|/mnt/crypt/home/$USER/|~/|" -e "s|$HOME|~/|"
     fi
 
     # Check your TODO lists