Default matching push
short hostname in prompt