Better dash integration with the terminal