sed:new_line
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| sed:new_line [2016/10/18 09:34] – peter | sed:new_line [2020/07/15 09:30] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| Neither **\s*** (as I would use in javascript and php) nor **\s\{3, | Neither **\s*** (as I would use in javascript and php) nor **\s\{3, | ||
| - | Note too that **\n** is not recognized as a new line. To get a new line **\' | + | Note too that **\n** is not recognized as a new line. To get a new line **\' |
| To modify the .profile file. | To modify the .profile file. | ||
sed/new_line.1476783258.txt.gz · Last modified: 2020/07/15 09:30 (external edit)