diff options
| -rw-r--r-- | _posts/2024-02-15-extract-lines-from-file.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_posts/2024-02-15-extract-lines-from-file.md b/_posts/2024-02-15-extract-lines-from-file.md index 04482bc..45df9da 100644 --- a/_posts/2024-02-15-extract-lines-from-file.md +++ b/_posts/2024-02-15-extract-lines-from-file.md | |||
| @@ -1,7 +1,7 @@ | |||
| 1 | --- | 1 | --- |
| 2 | title: "Extract lines from a file with sed" | 2 | title: "Extract lines from a file with sed" |
| 3 | permalink: /extract-lines-from-file-with-sed.html | 3 | permalink: /extract-lines-from-file-with-sed.html |
| 4 | date: 2024-02-14T01:04:28+02:00 | 4 | date: 2024-02-15T10:04:28+02:00 |
| 5 | layout: post | 5 | layout: post |
| 6 | type: note | 6 | type: note |
| 7 | draft: false | 7 | draft: false |