# the ping alias is obsolete

echo *** the name of the Alias has changed to OPING
load oldping
