Skip to content
Snippets Groups Projects
Verified Commit f3de7ca7 authored by Claudio Saavedra's avatar Claudio Saavedra Committed by Ralph Giles
Browse files

docs: replace fgrep with grep -F


It's been deprecated for decades and in Debian system it's starting
to print warnings. Just use grep -F instead.

Signed-off-by: default avatarRalph Giles <giles@thaumas.net>
parent 82ac57d9
No related branches found
No related tags found
1 merge request!60docs: replace fgrep with grep -F
Pipeline #3565 passed
......@@ -46,5 +46,5 @@ cat ${HTML} | sed -e 's/ *$//g' > ${HTML}+ && mv ${HTML}+ ${HTML}
cat ${CSS} | sed -e 's/ *$//g' > ${CSS}+ && mv ${CSS}+ ${CSS}
VERSION=$(fgrep Version ${HTML} | sed 's/.*Version \([0-9]\.[0-9]\.[0-9]\).*/\1/')
VERSION=$(grep -F Version ${HTML} | sed 's/.*Version \([0-9]\.[0-9]\.[0-9]\).*/\1/')
echo Now at version ${VERSION}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment