22 lines
696 B
JSON
22 lines
696 B
JSON
{
|
|
"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"
|
|
}
|
|
}
|
|
],
|
|
"trajectory": "trajectories/",
|
|
"related_apps": [
|
|
"vlc"
|
|
],
|
|
"evaluator": {
|
|
"func": "infeasible"
|
|
}
|
|
}
|