shell-tools@gentoo.org Gentoo Shell Tools Project rpl rrthomas/rpl