diff options
author | Alejandro Colomar <alx.manpages@gmail.com> | 2022-05-10 19:52:17 +0200 |
---|---|---|
committer | Alejandro Colomar <alx.manpages@gmail.com> | 2022-05-10 19:52:24 +0200 |
commit | 3fddc7bd834d321b0ff9f87fdadead9c33b35c83 (patch) | |
tree | 96a9d052d5280762b31818172f8d1af210d44447 /share | |
parent | 93f5320e43498ba4fbeaf2d729727a97257362b2 (diff) |
INSTALL: We don't use so many extensions now
Reported-by: наб <nabijaczleweli@nabijaczleweli.xyz>
Signed-off-by: Alejandro Colomar <alx.manpages@gmail.com>
Diffstat (limited to 'share')
-rw-r--r-- | share/doc/grepc/INSTALL | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/share/doc/grepc/INSTALL b/share/doc/grepc/INSTALL index 2a26a53..0572d9d 100644 --- a/share/doc/grepc/INSTALL +++ b/share/doc/grepc/INSTALL @@ -6,15 +6,13 @@ Debian: $ sudo apt-get install pcregrep -This script uses bash(1), which may not be installed in some UNIX -systems. Also, it makes use of some GNU extensions to UNIX -commands. +Also, it makes use of some GNU extensions to grep(1). Compilation: ------------ -This program is a bash(1) script, so it doesn't have a compilation +This program is a sh(1) script, so it doesn't have a compilation stage. |