Comment Comment by jkarimi91 What terminal emulator and theme is that (referring to thr gif in the README file)? parent jkarimi91 9 years ago