How to use a terminal proxy agent?