From fdf5d9c4b9feb51c0fa350071734e799e7bca779 Mon Sep 17 00:00:00 2001 From: Alejandro Mery Date: Fri, 20 May 2011 10:31:18 +0200 Subject: [PATCH] .profile: taken some comment from ubuntu's and reduce the diff --- files/.profile | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/files/.profile b/files/.profile index bbcb89e..92f1d2d 100644 --- a/files/.profile +++ b/files/.profile @@ -1,8 +1,6 @@ -# $HOME/bin -# -if [ -d "$HOME/bin" ]; then - export PATH="$HOME/bin:$PATH" -fi +# ~/.profile: executed by the command interpreter for login shells. +# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login +# exists. # redirect bash to .bashrc (for `screen`) if [ -n "$BASH_VERSION" ]; then @@ -10,3 +8,8 @@ if [ -n "$BASH_VERSION" ]; then . "$HOME/.bashrc" fi fi + +# set PATH so it includes user's private bin if it exists +if [ -d "$HOME/bin" ]; then + export PATH="$HOME/bin:$PATH" +fi