|
|
|
|
|
by alanh
5694 days ago
|
|
I upvoted you. But I am not sure that "/thing/other thing/" is more concise or useful than all alternatives. "thing" → "other thing" is the same length, and while not natural language, it isn’t a computer language. I think using the sed-like (right?) language is more useful as a signaller. Check it out, yo, I grep shit all the time. |
|
X->Y makes just as much sense, but the s (for "substitute") makes it mnemonic - I read it as "sub X for Y".