diff options
Diffstat (limited to 'bash/bash_profile')
-rw-r--r-- | bash/bash_profile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index e23ec458..526e7f3b 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -13,3 +13,6 @@ if [[ -r $HOME/.bashrc ]]; then source "$HOME"/.bashrc fi +# Print Bash version +printf 'bash: %s\n' "$BASH_VERSION" + |