Paulo Tada / Software Publico | GitLab

Software Público Brasileiro

7d700163 Extract logic for greping headers ... Browse Code »
```
We need to remove the trailing \r's
```
Antonio Terceiro
2015-03-02 14:40:13 -0300

grep-header 66 Bytes

Edit Raw Blame History Permalink

1 2 3 4 5 6 7 8

#!/bin/sh

set -eu

header="$1"

sed -e "/^$header:/ !d; s/\r//"