diff options
Diffstat (limited to 'store/config/home')
| -rw-r--r-- | store/config/home/bash_profile | 4 | ||||
| -rw-r--r-- | store/config/home/bashrc | 13 |
2 files changed, 16 insertions, 1 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 1ab3b08..162c250 100644 --- a/store/config/home/bashrc +++ b/store/config/home/bashrc @@ -1,8 +1,19 @@ +[[ $- != *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" export HTTP_PROXY="http://127.0.0.1:7897" export HTTPS_PROXY="http://127.0.0.1:7897" } unset-proxy() { - unset HTTP_PROXY HTTPS_PROXY + unset http_proxy + unset https_proxy + unset HTTP_PROXY + unset HTTPS_PROXY } |