push.default is current
mintty shortcuts' tweak