diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2016-10-28 18:22:15 +0300 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2016-10-28 18:22:15 +0300 |
commit | b88cf85adc0be578073894ce0f49051008707cb0 (patch) | |
tree | e727ce03dabe22ed181a5d01ebc18943858a580e /%HOME%/.bash_profile | |
parent | bugfix (diff) | |
download | linux-home-b88cf85adc0be578073894ce0f49051008707cb0.tar.gz linux-home-b88cf85adc0be578073894ce0f49051008707cb0.zip |
remove more dead code from bash dotfiles
Diffstat (limited to '%HOME%/.bash_profile')
-rw-r--r-- | %HOME%/.bash_profile | 53 |
1 files changed, 5 insertions, 48 deletions
diff --git a/%HOME%/.bash_profile b/%HOME%/.bash_profile index 4af56b1..b545321 100644 --- a/%HOME%/.bash_profile +++ b/%HOME%/.bash_profile @@ -1,56 +1,13 @@ -# To the extent possible under law, the author(s) have dedicated all -# copyright and related and neighboring rights to this software to the -# public domain worldwide. This software is distributed without any warranty. -# You should have received a copy of the CC0 Public Domain Dedication along -# with this software. -# If not, see <http://creativecommons.org/publicdomain/zero/1.0/>. - -# base-files version 4.2-4 - -# ~/.bash_profile: executed by bash(1) for login shells. - -# The latest version as installed by the Cygwin Setup program can -# always be found at /etc/defaults/etc/skel/.bash_profile - -# Modifying /etc/skel/.bash_profile directly will prevent -# setup from updating it. - -# The copy in your home directory (~/.bash_profile) is yours, please -# feel free to customise it to create a shell -# environment to your liking. If you feel a change -# would be benifitial to all, please feel free to send -# a patch to the cygwin mailing list. - -# User dependent .bash_profile file - -# source the users bashrc if it exists -if [ -f "${HOME}/.bashrc" ] ; then - source "${HOME}/.bashrc" -fi - -# Set PATH so it includes user's private bin if it exists -# if [ -d "${HOME}/bin" ] ; then -# PATH="${HOME}/bin:${PATH}" -# fi - -# Set MANPATH so it includes users' private man if it exists -# if [ -d "${HOME}/man" ]; then -# MANPATH="${HOME}/man:${MANPATH}" -# fi - -# Set INFOPATH so it includes users' private info if it exists -# if [ -d "${HOME}/info" ]; then -# INFOPATH="${HOME}/info:${INFOPATH}" -# fi +[ -f "$HOME/.bashrc" ] && source "$HOME/.bashrc" echo "Welcome to $( hostname )" spawn_ssh_agent() { - [ -n "${SSH_AGENT_PID:+x}" ] && return 0 + [ -n "${SSH_AGENT_PID:+x}" ] && return 0 - eval "$( ssh-agent -s )" > /dev/null \ - && trap "$( printf 'kill %q' "$SSH_AGENT_PID" )" 0 \ - && ssh-add &> /dev/null + eval "$( ssh-agent -s )" > /dev/null \ + && trap "$( printf 'kill %q' "$SSH_AGENT_PID" )" 0 \ + && ssh-add &> /dev/null } [ "$( uname -o )" == 'Cygwin' ] && spawn_ssh_agent |