diff options
author | Adam Bard <github@adambard.com> | 2015-10-08 11:24:31 +0800 |
---|---|---|
committer | Adam Bard <github@adambard.com> | 2015-10-08 11:24:31 +0800 |
commit | abd7444f9e5343f597b561a69297122142881fc8 (patch) | |
tree | 1afa96957269a218ef2a84d9c9a2d4ab462e8fef /bash.html.markdown | |
parent | 5c677e8071291520297ef3d5d8374c6d11285744 (diff) | |
parent | 960ee4a1856db8eadb96277bb2422edfa8f2a81c (diff) |
Merge pull request #1395 from ghalley/spaces
[en] Remove unnecessary whitespace throughout the english files
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: |