Terminal add-on for Codebox