Bash has a $BASH var for this purpose so I can define following alias to reload the rc files without exiting and restarting the shell:
alias rr='echo "+++ Restarting $BASH ..."; exec $BASH'
_______________________________________________ ast-users mailing list [email protected] https://mailman.research.att.com/mailman/listinfo/ast-users
