Useful Linux terminal tools for managing Bukkit servers.