refining options for Terminal.app