1  # Bash initialization for interactive non-login shells and
 2  # for remote shells (info "(bash) Bash Startup Files").
 3  
 4  # Export 'SHELL' to child processes.  Programs such as 'screen'
 5  # honor it and otherwise use /bin/sh.
 6  export SHELL
 7  
 8  if [[ $- != *i* ]]
 9  then
10      # We are being invoked from a non-interactive shell.  If this
11      # is an SSH session (as in "ssh host command"), source
12      # /etc/profile so we get PATH and other essential variables.
13      [[ -n "$SSH_CLIENT" ]] && source /etc/profile
14  
15      # Don't do anything else.
16      return
17  fi
18  
19  # Source the system-wide file.
20  source /etc/bashrc
21  
22  # Adjust the prompt depending on whether we're in 'guix environment'.
23  if [ -n "$GUIX_ENVIRONMENT" ]
24  then
25      PS1='\u@\h \w [env]\$ '
26  else
27      PS1='\u@\h \w\$ '
28  fi
29  alias ls='ls -p --color=auto'
30  alias ll='ls -l'
31  alias grep='grep --color=auto'