proxy switcher for terminal