Skip to content

Instantly share code, notes, and snippets.

@jandahl
Last active November 5, 2021 11:45
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jandahl/56c0fed4a4187413bb402bbe979bfd43 to your computer and use it in GitHub Desktop.
Save jandahl/56c0fed4a4187413bb402bbe979bfd43 to your computer and use it in GitHub Desktop.
bash pipe to section
function section() {
sed -n "/${*}/,/^$/p"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment