bashrc-linux: add mansave function