diff options
| author | Brad King <brad.king@kitware.com> | 2017-11-30 19:55:34 (GMT) |
|---|---|---|
| committer | Brad King <brad.king@kitware.com> | 2017-11-30 19:55:34 (GMT) |
| commit | 5cb64508a3c2c17f3a8c798d60ad426e286cf39e (patch) | |
| tree | b4892446a7e665c27cdac9c4e258e26f26eeba96 /Utilities/GitSetup/tips | |
| parent | cbd37fbec37b7fdd05925c46f2d252ad368ebe76 (diff) | |
| parent | f223a7caf494949c241133b7a7a1408738d6b376 (diff) | |
| download | CMake-5cb64508a3c2c17f3a8c798d60ad426e286cf39e.zip CMake-5cb64508a3c2c17f3a8c798d60ad426e286cf39e.tar.gz CMake-5cb64508a3c2c17f3a8c798d60ad426e286cf39e.tar.bz2 | |
Merge branch 'upstream-GitSetup' into update-gitsetup
* upstream-GitSetup:
GitSetup 2017-10-26 (1639317d)
Diffstat (limited to 'Utilities/GitSetup/tips')
| -rwxr-xr-x | Utilities/GitSetup/tips | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Utilities/GitSetup/tips b/Utilities/GitSetup/tips index 784e1ed..f47d84c 100755 --- a/Utilities/GitSetup/tips +++ b/Utilities/GitSetup/tips @@ -19,7 +19,7 @@ # Project configuration instructions: NONE -egrep-q() { +egrep_q() { egrep "$@" >/dev/null 2>/dev/null } @@ -33,7 +33,7 @@ One may enable color output from Git commands with fi # Suggest bash completion. -if ! bash -i -c 'echo $PS1' | egrep-q '__git_ps1'; then +if ! bash -i -c 'echo $PS1' | egrep_q '__git_ps1'; then echo ' A dynamic, informative Git shell prompt can be obtained by sourcing the git bash-completion script in your "~/.bashrc". Set the PS1 |