diff options
-rw-r--r-- | .bashrc | 9 | ||||
-rwxr-xr-x | .gitignore.d/bash | 1 | ||||
-rw-r--r-- | .profile | 15 |
3 files changed, 18 insertions, 7 deletions
@@ -1,10 +1,5 @@ -PATH='/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games' -PATH="${HOME}/bin:${PATH}" - -# Interactive only beyond this point -[ -z "${PS1}" ] && return - -PATH="${HOME}/ibin:${PATH}" +# Interactive shells only beyond this point +[ "${PS1+set}" = 'set' ] || return # Bash history HISTSIZE=1000 diff --git a/.gitignore.d/bash b/.gitignore.d/bash index 9a23ae6..348ccee 100755 --- a/.gitignore.d/bash +++ b/.gitignore.d/bash @@ -2,6 +2,7 @@ * # Include relevant files +!/.profile !/.bashrc !/.bash_exports !/.bash_aliases diff --git a/.profile b/.profile new file mode 100644 index 0000000..3353aca --- /dev/null +++ b/.profile @@ -0,0 +1,15 @@ +# ~/.profile: executed by the command interpreter for login shells. +# This file is not read by bash if ~/.bash_profile or ~/.bash_login +# exists. + +if ! [ "x${BASH_VERSION}" = 'x' ]; then + . "${HOME}/.bashrc" +fi + +PATH='/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games' +PATH="${HOME}/bin:${PATH}" + +# Interactive shells only beyond this point. +[ "${PS1+set}" = 'set' ] || return + +PATH="${HOME}/ibin:${PATH}" |