bashrc-linux: mansave function: check if man command exited cleanly, remove save file if empty