Changes back to regular irb prompt and adds simple push default