Hacker News new | ask | show | jobs
by u801e 2174 days ago
This will also work:

  sed '/^###/!d'
1 comments

This will also work:

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