Modify terminal, and add agens alias