gedit-plugin-terminal • apt package info