diff --git a/bash_profile b/bash_profile index 9088988..3187329 100644 --- a/bash_profile +++ b/bash_profile @@ -86,7 +86,7 @@ rgrep() { } ggrep() { - grep --include=*.{go,toml,proto} -rn "${@}" + grep --include=*.{go,toml,proto,mod} -rn "${@}" } known_hosts_update() {