grep で前後の行も表示する

• B -A が before, after のオプション。-B 3 -A 3 は単に -3 でも同じ。-C は -2 つまり -B 2 -A 2 と同じ。

 mathlib > git branch
* master

 mathlib > git rev-parse master
8618f40d51539454fe06511d5c8504a77f30c598

 mathlib > grep -A 3 -B 3 8618 ..\..\lake-manifest.json
  {"git":
   {"url": "https://github.com/leanprover-community/mathlib4.git",
    "subDir?": null,
    "rev": "8618f40d51539454fe06511d5c8504a77f30c598",
    "name": "mathlib",
    "inputRev?": null}},
  {"git":