.shellrc: delegate completion for `p` as for `ping`

diff --git a/.shellrc b/.shellrc
index fa8fa9536ec3a53614f2054cfd3766f76f2cb6fc..728714d308d5bb7607f6318ed9465cdd74826d34 100644 (file)
--- a/.shellrc
+++ b/.shellrc
@@ -134,6 +134,7 @@ if test -n "$BASH_VERSION"; then
    }
 
    delegate_completion make _make m
+   delegate_completion ping _ping p
    delegate_completion rsync _rsync r
    delegate_completion ssh _ssh s
    delegate_completion wget _wget wget-m wget-wrapper ww