.bash_profile: turned into a .profile

.bash_profile

@@ -1,4 +0,0 @@
-if [ -s "$HOME/.bashrc" ]; then
-	echo ".bash_profile:  -> .bashrc" >&2
-	. "$HOME/.bashrc"
-fi

.profile

@@ -0,0 +1,12 @@
+# $HOME/bin
+#
+if [ -d "$HOME/bin" ]; then
+	export PATH="$HOME/bin:$PATH"
+fi
+
+# redirect bash to .bashrc (for `screen`)
+if [ -n "$BASH_VERSION" ]; then
+	if [ -s "$HOME/.bashrc" ]; then
+		. "$HOME/.bashrc"
+	fi
+fi