dist is a small set of shell shortcuts for use on unix machines. It is meant to be rolled out into a general $PATH like /usr/local/bin/ or $HOME/bin/ rather than worrying with configuring aliases in .profile or .bashrc for all users.