lots: shellcheck, streaming stuff, fixes

[distro-setup] / .bash_profile

diff --git a/.bash_profile b/.bash_profile
index ce98e54b7df33c7aaff3fa172e9126dbbdecff5b..ef517f2383dff9ae318f714b0c99b9997784b88a 100644 (file)
--- a/.bash_profile
+++ b/.bash_profile
@@ -1,4 +1,5 @@
-# man bash covers everything comprehensively of course.  i use ~/.bash_profile
+#!/bin/bash
+# info bash covers everything comprehensively of course.  i use ~/.bash_profile
 # to source bashrc, and .profile just echos that the normal bash startup process
 # is not happening.  I don't source bashrc in posix mode based on debian's
 # default, and posix mode is quirky, doesn't seem worth figuring it out This
@@ -34,6 +35,7 @@ HISTCONTROL=ignoredups
 HISTIGNORE='pass *:[ ]*:otp *:oathtool *'
 
 
+# shellcheck source=/a/bin/ds/.bashrc
 [[ -f ~/.bashrc ]] && . ~/.bashrc
 # ensure no bad programs appending to this file will have an affect
 return 0