{
  "id": "5ac2891a-eacd-4954-b339-98abba077adb",
  "snapshot": "base_setup",
  "instruction": "My VLC Media Player has been auto-closing once the video ends. It is very annoying. Could you help me prevent the VLC Media Player from auto-closing once the video ends?",
  "source": "https://superuser.com/questions/1412810/how-to-prevent-vlc-media-player-from-auto-closing-after-video-end#:%7E:text=Click%20on%20%22Media%22on%20the,VLC%20player%20after%20video%20ending",
  "config": [
    {
      "type": "launch",
      "parameters": {
        "command": "VLC_VERBOSE=-1 vlc"
      }
    }
  ],
  "trajectory": "trajectories/",
  "related_apps": [
    "vlc"
  ],
  "evaluator": {
    "func": "infeasible"
  }
}