.bash_aliases : add pgr; .bashrc : add MY_BIN in path
del set ignorecase