Closed jcrussell closed 5 years ago
Surprised that you hate this; it seemed like a good way to return the information without echo'ing the command ID for every command. Maybe there's a better way to know what command ID that you're on without hardcoding based on number issued so far or, as I've seen done, adding one to the last ID in cc commands
.
Makes it easier for scripts to figure out what command ID they issued.
Fixes #1344