diff options
Diffstat (limited to 'guix/home/.bashrc')
-rw-r--r-- | guix/home/.bashrc | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/guix/home/.bashrc b/guix/home/.bashrc deleted file mode 100644 index 7b58a92..0000000 --- a/guix/home/.bashrc +++ /dev/null @@ -1,28 +0,0 @@ -# Bash initialization for interactive non-login shells and -# for remote shells (info "(bash) Bash Startup Files"). - -# Export 'SHELL' to child processes. Programs such as 'screen' -# honor it and otherwise use /bin/sh. -export SHELL - -export GUIX_PACKAGE_PATH=$HOME/.guix-packages -export GUIX_EXTRA_PROFILES=$HOME/.guix-extra-profiles - -if [[ $- != *i* ]] -then - # We are being invoked from a non-interactive shell. If this - # is an SSH session (as in "ssh host command"), source - # /etc/profile so we get PATH and other essential variables. - [[ -n "$SSH_CLIENT" ]] && source /etc/profile - - # Don't do anything else. - return -fi - -# Source the system-wide file. -[ -f /etc/bashrc ] && source /etc/bashrc - -alias ls='ls -p --color=auto' -alias ll='ls -l' -alias grep='grep --color=auto' -alias ip='ip -color=auto' |