diff options
| -rw-r--r-- | store/config/home/bash_profile | 4 | ||||
| -rw-r--r-- | store/config/home/bashrc | 6 |
2 files changed, 10 insertions, 0 deletions
diff --git a/store/config/home/bash_profile b/store/config/home/bash_profile index b65f405..92375ee 100644 --- a/store/config/home/bash_profile +++ b/store/config/home/bash_profile @@ -1 +1,5 @@ +if [ -r ~/.profile ]; then . ~/.profile; fi + export PATH="$HOME/.local/bin:$PATH" + +case "$-" in *i*) if [ -r ~/.bashrc ]; then . ~/.bashrc; fi;; esac diff --git a/store/config/home/bashrc b/store/config/home/bashrc index e59b2a4..162c250 100644 --- a/store/config/home/bashrc +++ b/store/config/home/bashrc @@ -1,3 +1,9 @@ +[[ $- != *i* ]] && return + +alias ls='ls --color=auto' +alias grep='grep --color=auto' +PS1='[\u@\h \W]\$ ' + set-proxy() { export http_proxy="http://127.0.0.1:7897" export https_proxy="http://127.0.0.1:7897" |