diff --git a/.bashrc b/.bashrc index 956a88f..1d1ce8b 100644 --- a/.bashrc +++ b/.bashrc @@ -7,7 +7,7 @@ shopt -s histappend # Update the values of LINES and COLUMNS. shopt -s checkwinsize -export PATH=$PATH:/opt/cc0/bin:~/bin:/opt/android-studio/bin +export PATH=$PATH:/opt/cc0/bin:~/bin:/opt/android-studio/bin:/opt/smlnj/bin export EDITOR=vim export CLICOLOR=1 export HISTCONTROL=ignoreboth