bash: various tweaks
authorAmin Bandali <bandali@gnu.org>
Sun, 14 Apr 2019 19:36:58 +0000 (15:36 -0400)
committerAmin Bandali <bandali@gnu.org>
Sun, 14 Apr 2019 19:36:58 +0000 (15:36 -0400)
commitd99f86cd913e15a2dc5792ca382fb5d4b2abeb7b
tree097c1014a250822e3671aaf26810b959d91b58a0
parentedb9a03a2fb953b707f286a6d944e6cf0b8fae82
bash: various tweaks

- 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
.bashrc
.profile