1.安装扩展管理器：
如果你还没有安装，可以在终端运行 sudo apt install gnome-shell-extension-manager（Ubuntu/Debian）或在系统软件中心搜索"Extension Manager"并安装。
2.下载扩展：
打开"扩展管理器" (Extension Manager)，在顶部的"浏览 (Browse)"标签页中搜索 Run or raise 并安装。
3.配置快捷键：
回到"已安装 (Installed)"标签页，找到 Run or raise 并点击它旁边的齿轮（设置）图标。需要点击最右侧的那个文件图标按钮。
系统会自动用文本编辑器打开一个名为 shortcuts.conf 的文件。
你需要在里面手动写上一行配置，如下
F12,gnome-terminal,org.gnome.Terminal,
4.重新加载配置：找到 Run or raise，把它右侧的拨动开关关掉，然后再打开。