{
  "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 --no-audio --no-video-title-show",
        "shell": true
      }
    },
    {
      "type": "execute",
      "parameters": {
        "command": [
          "python",
          "-c",
          "import pathlib,re; p=pathlib.Path.home()/'.config/vlc/vlcrc'; p.parent.mkdir(parents=True, exist_ok=True); txt=p.read_text() if p.exists() else ''; txt=(re.sub(r'(?m)^#?\\s*play-and-exit=.*$', 'play-and-exit=1', txt) if re.search(r'(?m)^#?\\s*play-and-exit=', txt) else (txt + ('' if txt.endswith('\\n') or txt == '' else '\\n') + 'play-and-exit=1\\n')); p.write_text(txt)"
        ]
      }
    }
  ],
  "trajectory": "trajectories/",
  "related_apps": [
    "vlc"
  ],
  "evaluator": {
    "func": "check_play_and_exit",
    "expected": {
      "type": "rule",
      "rules": {
        "expected_play_and_exit": 0
      }
    },
    "result": {
      "type": "vlc_config",
      "dest": "vlcrc"
    }
  },
  "proxy": false,
  "fixed_ip": false,
  "possibility_of_env_change": "low"
}