{
  "id": "6ebbfb01-ea72-4226-a2a6-dc428e111ed2",
  "snapshot": "os",
  "instruction": "Could you please help me to set Bash as my default shell on the current Ubuntu system?",
  "source": "https://superuser.com/questions/46748/how-do-i-make-bash-my-default-shell-on-ubuntu",
  "trajectory": "trajectories/",
  "config": [
    {
      "type": "execute",
      "parameters": {
        "command": "echo password | sudo -S apt-get install zsh -y",
        "shell": true
      }
    },
    {
      "type": "execute",
      "parameters": {
        "command": "echo password | sudo -S chsh -s $(which zsh)",
        "shell": true
      }
    },
    {
      "type": "execute",
      "parameters": {
        "command": "echo password | sudo -S loginctl terminate-user user",
        "shell": true
      }
    },
    {
      "type": "sleep",
      "parameters": {
        "seconds": 10
      }
    },
    {
      "type": "execute",
      "parameters": {
        "command": [
          "python",
          "-c",
          "import pyautogui; import time; time.sleep(2); pyautogui.press(\"enter\"); pyautogui.type(\"password\"); time.sleep(2); pyautogui.press(\"enter\");"
        ]
      }
    }
  ],
  "related_apps": [
    "os"
  ],
  "evaluator": {
    "func": "exact_match",
      "result": {
        "type": "vm_command_line",
        "command": "echo $SHELL",
        "shell": true
      },
      "expected": {
        "type": "rule",
        "rules":{
          "expected": "/bin/bash\n"
        }
      }
  }
}