.bashrc: add FIGNORE