# If not running interactively, don't do anything
[ -z "$PS1" ] && return
# don't put duplicate lines or lines starting with space in the history.
# See bash(1) for more options
HISTCONTROL=ignoredups
# append to the history file, don't overwrite it
shopt -s histappend
# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
HISTSIZE=1000
HISTFILESIZE=2000
# check the window size after each command and, if necessary,
# update the values of LINES and COLUMNS.
shopt -s checkwinsize
# make less more friendly for non-text input files, see lesspipe(1)
[ -x /usr/bin/lesspipe ] && eval "$(SHELL=/bin/sh lesspipe)"
PS1='\[\033[01;34m\]\w\[\033[00m\]\$ '
# Set the title
PS1="\[\e]0;\w\a\]$PS1"
alias ls='ls'
alias dir='dir'
# some more ls aliases
alias ll='ls -alF'
alias la='ls -A'
if [ -f ~/.bash_aliases ]; then
. ~/.bash_aliases
fi
# enable programmable completion features (you don't need to enable
# this, if it's already enabled in /etc/bash.bashrc and /etc/profile
# sources /etc/bash.bashrc).
if [ -f /etc/bash_completion ] && ! shopt -oq posix; then
. /etc/bash_completion
fi
export SAGE_ATLAS_LIB=/usr/lib/ # do not build ATLAS
export SHELL=/bin/bash
export PATH=$HOME/.local/bin:$PATH
export SMC=$HOME/.smc
export PATH=$HOME/bin:$HOME/.local/bin:$PATH
