From c4221c98ddb6c674a6d108aed3c483e6f91376e6 Mon Sep 17 00:00:00 2001
From: dz-at-tc <49352191+dz-at-tc@users.noreply.github.com>
Date: Tue, 4 Oct 2022 00:09:55 -0400
Subject: [PATCH] bzegrep, bzfgrep, rgrep, zegrep, zgrep: move from linux to
 common (#8709)

grep alternatives work substantially the same on all major platforms.
---
 pages/{linux => common}/bzegrep.md | 0
 pages/{linux => common}/bzfgrep.md | 0
 pages/{linux => common}/rgrep.md   | 0
 pages/{linux => common}/zegrep.md  | 0
 pages/{linux => common}/zgrep.md   | 0
 5 files changed, 0 insertions(+), 0 deletions(-)
 rename pages/{linux => common}/bzegrep.md (100%)
 rename pages/{linux => common}/bzfgrep.md (100%)
 rename pages/{linux => common}/rgrep.md (100%)
 rename pages/{linux => common}/zegrep.md (100%)
 rename pages/{linux => common}/zgrep.md (100%)

diff --git a/pages/linux/bzegrep.md b/pages/common/bzegrep.md
similarity index 100%
rename from pages/linux/bzegrep.md
rename to pages/common/bzegrep.md
diff --git a/pages/linux/bzfgrep.md b/pages/common/bzfgrep.md
similarity index 100%
rename from pages/linux/bzfgrep.md
rename to pages/common/bzfgrep.md
diff --git a/pages/linux/rgrep.md b/pages/common/rgrep.md
similarity index 100%
rename from pages/linux/rgrep.md
rename to pages/common/rgrep.md
diff --git a/pages/linux/zegrep.md b/pages/common/zegrep.md
similarity index 100%
rename from pages/linux/zegrep.md
rename to pages/common/zegrep.md
diff --git a/pages/linux/zgrep.md b/pages/common/zgrep.md
similarity index 100%
rename from pages/linux/zgrep.md
rename to pages/common/zgrep.md