command/push: ctrl-C should work properly