mirrored 4 minutes ago
0
ChenYXxxxUpdate 10a730d5-d414-4b40-b479-684bed1ae522.json change the ight 2 the night873f8a0
{
  "id": "10a730d5-d414-4b40-b479-684bed1ae522",
  "snapshot": "thunderbird",
  "instruction": "Considering I work late into the night and use Thunderbird frequently, I find that a full dark mode would be easier on my eyes during those hours. Can you help me enable a complete dark mode in Thunderbird?",
  "source": "https://superuser.com/questions/1757333/how-can-i-view-thunderbird-in-full-dark-mode",
  "config": [
    {
      "type": "download",
      "parameters": {
        "files": [
          {
            "url": "https://huggingface.co/datasets/xlangai/ubuntu_osworld_file_cache/resolve/main/thunderbird/dd84e895-72fd-4023-a336-97689ded257c/thunderbird-profile.tar.gz",
            "path": "/home/user/thunderbird-profile.tar.gz"
          }
        ]
      }
    },
    {
      "type": "execute",
      "parameters": {
        "command": [
          "tar",
          "-xzv",
          "--recursive-unlink",
          "-f",
          "/home/user/thunderbird-profile.tar.gz",
          "-C",
          "/home/user/"
        ]
      }
    },
    {
      "type": "launch",
      "parameters": {
        "command": [
          "/usr/bin/thunderbird"
        ]
      }
    }
  ],
  "trajectory": "trajectories/",
  "related_apps": [
    "thunderbird"
  ],
  "evaluator": {
    "postconfig": [
      {
        "type": "close_window",
        "parameters": {
          "window_name": "Mail.thunderbird",
          "strict": true,
          "by_class": true
        }
      },
      {
        "type": "sleep",
        "parameters": {
          "seconds": 0.5
        }
      }
    ],
    "func": "check_thunderbird_prefs",
    "result": {
      "type": "vm_file",
      "path": "/home/user/.thunderbird/t5q2a5hp.default-release/prefs.js",
      "dest": "thunder-prefs.js"
    },
    "expected": {
      "type": "rule",
      "rules": {
        "expect": {
          "extensions.activeThemeID": {
            "method": "re",
            "ref": "dark"
          }
        }
      }
    }
  },
  "proxy": false,
  "fixed_ip": false,
  "possibility_of_env_change": "low"
}