From e6d06f00cb54434b2407013e53ddbeccc8a98b20 Mon Sep 17 00:00:00 2001
From: Fernando Schauenburg <dev@schauenburg.me>
Date: Tue, 29 Oct 2019 18:14:57 +0100
Subject: [PATCH] Indent bash PATH additions for readability

We could use ``done<<-EOS'' with tabs to also indent the final EOS but
that would introduce mixed indents in our file. The indentation added by
this commit makes the file readable enough.
---
 dotfiles/.bashrc | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/dotfiles/.bashrc b/dotfiles/.bashrc
index d686f1b..36536a5 100644
--- a/dotfiles/.bashrc
+++ b/dotfiles/.bashrc
@@ -69,12 +69,12 @@ bashrc_customize_paths() {
             PATH="$p:$PATH"
         fi
     done <<EOS
-$prefix/bin
-$prefix/opt/man-db/libexec/bin
-$prefix/opt/coreutils/libexec/gnubin
-$prefix/opt/gnu-sed/libexec/gnubin
-$HOME/.local/bin
-$HOME/bin
+        $prefix/bin
+        $prefix/opt/man-db/libexec/bin
+        $prefix/opt/coreutils/libexec/gnubin
+        $prefix/opt/gnu-sed/libexec/gnubin
+        $HOME/.local/bin
+        $HOME/bin
 EOS
     export PATH
 
@@ -87,11 +87,11 @@ EOS
             MANPATH="$p:$MANPATH"
         fi
     done <<EOS
-$prefix/share/man
-$prefix/opt/man-db/libexec/man
-$prefix/opt/coreutils/libexec/gnuman
-$prefix/opt/gnu-sed/libexec/gnuman
-$HOME/.local/share/man
+        $prefix/share/man
+        $prefix/opt/man-db/libexec/man
+        $prefix/opt/coreutils/libexec/gnuman
+        $prefix/opt/gnu-sed/libexec/gnuman
+        $HOME/.local/share/man
 EOS
     export MANPATH
 }