bashrc: add `f` function