Thank god for webi. It's the easy terminal tool installer I've always dreamed of. Submit installers through there when you come across them.