Warp, the modern terminal, is now available for Linux