alias roboexport in zshrc