There's a (secret?) feature of readline that lets you do \[ \] type stuff using 001 and 002 bytes instead.
This made my day! Thank you.
There's a (secret?) feature of readline that lets you do \[ \] type stuff using 001 and 002 bytes instead.
This made my day! Thank you.