Timeline for Insert space character before a certain character
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 9, 2022 at 15:38 | comment | added | Stéphane Chazelas | @EdMorton, which mawk would that be? AFAICT, ThomasDickey's mawk-1.3.4-20200120 which is the most modern mawk I know of doesn't support gawk's gensub(). | |
| Mar 9, 2022 at 15:33 | comment | added | terdon♦ | @StéphaneChazelas I don't have any idea, I was just blindly reproducing Ed's comment, but I have yet to see him be wrong on anything related to awk. His original comment simply mentioned "modern versions of mawk". | |
| Mar 9, 2022 at 15:32 | comment | added | terdon♦ | @EdMorton, I believe Stéphane's question is for you. | |
| Mar 9, 2022 at 15:26 | comment | added | Stéphane Chazelas | Where can one find a version of mawk that supports gensub()? | |
| Mar 9, 2022 at 14:12 | comment | added | terdon♦ | Thanks @EdMorton, I added it to the answer. | |
| Mar 9, 2022 at 14:11 | history | edited | terdon♦ | CC BY-SA 4.0 | added 467 characters in body |
| Mar 9, 2022 at 10:22 | history | edited | terdon♦ | CC BY-SA 4.0 | added 1 character in body |
| Mar 9, 2022 at 9:35 | vote | accept | IceCode | ||
| Mar 9, 2022 at 9:33 | history | answered | terdon♦ | CC BY-SA 4.0 |