[dotfiles.git] / p

#! /bin/sh
exec ping "$@"