diff options
author | Vojta Svoboda <vojtasvoboda.cz@gmail.com> | 2015-10-08 22:15:32 +0200 |
---|---|---|
committer | Vojta Svoboda <vojtasvoboda.cz@gmail.com> | 2015-10-08 22:15:32 +0200 |
commit | 838701b917bb914f3483b6e9233920a752d20f82 (patch) | |
tree | a430654109b2f8e6a47eddf057f86d73630314a7 /bash.html.markdown | |
parent | 4d619e9b0fc4a061fa720b47b22068c8661e9be6 (diff) | |
parent | abd7444f9e5343f597b561a69297122142881fc8 (diff) |
Merge branch 'master' into translation/json-cs
Diffstat (limited to 'bash.html.markdown')
-rw-r--r-- | bash.html.markdown | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bash.html.markdown b/bash.html.markdown index d4f3d424..191f916a 100644 --- a/bash.html.markdown +++ b/bash.html.markdown @@ -252,7 +252,7 @@ grep "^foo.*bar$" file.txt grep -c "^foo.*bar$" file.txt # if you literally want to search for the string, # and not the regex, use fgrep (or grep -F) -fgrep "^foo.*bar$" file.txt +fgrep "^foo.*bar$" file.txt # Read Bash shell builtins documentation with the bash 'help' builtin: |