From d99f86cd913e15a2dc5792ca382fb5d4b2abeb7b Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Sun, 14 Apr 2019 15:36:58 -0400
Subject: bash: various tweaks
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- new include helper for checking if arg is a regular and readable
  file, then sourcing it
- set VISUAL editor
- fix prompt to show an additional character when abbreviated folder’s
  name starts with a dot
---
 .bash_profile | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to '.bash_profile')

diff --git a/.bash_profile b/.bash_profile
index d5f7cc9..f41056d 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -1,2 +1,7 @@
-[[ -f ~/.profile ]] && . ~/.profile
-[[ -f ~/.bashrc ]] && . ~/.bashrc
+include () {
+    [[ -f "$1" && -r "$1" ]] && source "$1"
+}
+
+include ~/.profile
+include ~/.nix-profile/etc/profile.d/nix.sh
+include ~/.bashrc
-- 
cgit v1.2.3-60-g2f50