]> git.phdru.name Git - dotfiles.git/blob - bin/p
init.py: Hide errors during `.write_history_file()`
[dotfiles.git] / bin / p
1 #! /bin/sh
2 exec ping "$@"