资 源 简 介
Terminal Profiles Search Provider for Gnome Shell (GNOME3) adds "TERMINAL PROFILES" to the universal gnome-shell search results, allowing quick launching of gnome-terminal profiles.
Search example
Terminal profile example
Profiles here are returned in search results: