manifest.json

{
    "required_api_version": "^2.0.0",
    "name": "Terminal Runner",
    "description": "An extension that let's you run commands on a gui terminal",
    "developer_name": "lighttigerXIV",
    "icon": "images/icon.png",
    "options": {
        "query_debounce": 0.05
    },
    "preferences": [
        {
            "id": "kw",
            "type": "keyword",
            "name": "Run",
            "description": "",
            "default_value": ">"
        },
        {
            "id": "term",
            "type": "text",
            "name": "Terminal",
            "description": "The terminal that will be used",
            "default_value": "/bin/gnome-terminal"
        },
        {
            "id": "exec",
            "type": "text",
            "name": "Executing Parameter",
            "description": "The parameter your terminal uses to execute commands",
            "default_value": "--"
        },
        {
            "id": "shell",
            "type": "select",
            "name": "Shell",
            "default_value": "others",
            "options": [
                {"text": "Bash / Zsh", "value": "others"},
                {"text": "Fish", "value": "fish"}
            ]
        },
        {
            "id": "icon",
            "type": "select",
            "name": "Icon style",
            "default_value": "black",
            "options": [
                {"text": "Black icon", "value": "black"},
                {"text": "White icon", "value": "white"}
            ]
        }
    ]
}