# /etc/profile

# Function to easily append a directory to PATH
append_path() {
  if [ -z "$1" ]; then
    return 1
  elif ! [ -d "$1" ]; then
    return 1
  fi
  export PATH="$PATH":"$1"
}

# Appending paths
append_path '/usr/local/sbin'
append_path '/usr/local/bin'

# Unsetting functions
unset -f append_path

# Run /etc/bashrc if in an interactive terminal
if [[ $- == *i* ]]
then
    . /etc/bashrc
fi