bashrc: migrate convenience functions from .local