undefined | Better HN

0 pointsu801e5y ago0 comments

This will also work:

  sed '/^###/!d'

0 comments

1 comments · 1 top-level

pwdisswordfish25y ago

This will also work:

   sed '/^#\{3\}/!d'

j / k navigate · click thread line to collapse