bash: Aggiunge .bash_profile

Aggiunge `.bash_profile`, basato su file `.profile` fornito di default
da Linux Mint/Ubuntu.

Tale file viene letto da Bash per shell di login dell'utente, e il file
`.profile` viene ignorato.

bash/.bash_profile

@@ -0,0 +1,33 @@
+#!/bin/bash
+# ~/.bash_profile: executed by the command interpreter for login shells.
+#
+# see /usr/share/doc/bash/examples/startup-files for examples.
+# the files are located in the bash-doc package.
+
+# the default umask is set in /etc/profile; for setting the umask
+# for ssh logins, install and configure the libpam-umask package.
+#umask 022
+
+# if running bash
+if [ -n "$BASH_VERSION" ]; then
+    # include .bashrc if it exists
+    if [ -f "$HOME/.bashrc" ]; then
+	. "$HOME/.bashrc"
+    fi
+fi
+
+# set PATH so it includes user's private bin, if it exists
+if [ -d "$HOME/bin" ] ; then
+    PATH="$HOME/bin:$PATH"
+fi
+
+# set PATH so it includes user's private bin, if it exists
+if [ -d "$HOME/.local/bin" ] ; then
+    PATH="$HOME/.local/bin:$PATH"
+fi
+
+
+# set PATH so it includes '~/AppImage' directory, if it exists
+if [ -d "$HOME/AppImage" ] ; then
+    PATH="$HOME/AppImage:$PATH"
+fi