lzy/sci-gui-agent-benchmark
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Finish VLC v2 loading

Browse Source
This commit is contained in:
Timothyxxx
2024-01-25 12:40:00 +08:00
parent 8a9f8e116b
commit 37ec196b18
10 changed files with 464 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
evaluation_examples/examples/vlc/0d95d28a-9587-433b-a805-1fbe5467d598.json
View File

@@ -6,7 +6,7 @@
"config": [],
"trajectory": "trajectories/",
"related_apps": [
"chrome"
"vlc"
],
"evaluator": {
"func": "",

40
evaluation_examples/examples/vlc/215dfd39-f493-4bc3-a027-8a97d72c61bf.json
View File

@@ -3,16 +3,46 @@
"snapshot": "chrome",
"instruction": "Can you disable the cone icon in the splash screen? I am tired of its skeuomorphic design.",
"source": "https://superuser.com/questions/1224784/how-to-change-vlcs-splash-screen",
"config": [],
"config": [
{
"type": "launch",
"parameters": {
"command": "vlc"
}
}
],
"trajectory": "trajectories/",
"related_apps": [
"chrome"
"vlc"
],
"evaluator": {
"func": "",
"result": {
},
"postconfig": [
{
"type": "launch",
"parameters": {
"command": [
"pkill",
"vlc"
]
}
},
{
"type": "launch",
"parameters": {
"command": "vlc"
}
}
],
"func": "check_qt_bgcone",
"expected": {
"type": "rule",
"rules": {
"expected_qt_bgcone": 0
}
},
"result": {
"type": "vlc_config",
"dest": "vlcrc"
}
}
}

95
evaluation_examples/examples/vlc/386dbd0e-0241-4a0a-b6a2-6704fba26b1c.json
View File

@@ -3,16 +3,101 @@
"snapshot": "chrome",
"instruction": "I am reading lecture note in PDF while a music video is running in VLC media player. But I find I need to switch to the player every time I need to pause/start.Could you help me change the setting to allow pausing the video using keyboard shortcut without minimizing the PDF reader? I want to focus on the lecture note and don't be disturbed by the app switching.",
"source": "https://superuser.com/questions/1708415/pause-and-play-vlc-in-background?rq=1",
"config": [],
"config": [
{
"type": "download",
"parameters": {
"files": [
{
"url": "https://drive.usercontent.google.com/download?id=1JqKzFk-4ru1BQdaInui37ORPC1btl7PK&export=download&authuser=0&confirm=t&uuid=449004d6-6f52-4ae3-9008-c2a0a6e0d17f&at=APZUnTXYRTL_FkB5l1TgseCgdSPK:1706155700724",
"path": "Desktop/lecture.pdf"
}
]
}
},
{
"type": "download",
"parameters": {
"files": [
{
"url": "https://drive.usercontent.google.com/download?id=1jS74kYGOcEMOWyHZxlqmQVPmIC6A-UBm&export=download&authuser=0&confirm=t&uuid=0521f46a-9aa5-4dfc-9761-ae6256a31488&at=APZUnTWwRv10ztlVQq2oVsiMX2_r:1706155684550",
"path": "Desktop/Colorful-Flowers.mp3"
}
]
}
},
{
"type": "launch",
"parameters": {
"command": [
"vlc",
"--start-time=10",
"Desktop/Colorful-Flowers.mp3"
]
}
},
{
"type": "open",
"parameters": {
"path": "Desktop/lecture.pdf"
}
},
{
"type": "activate_window",
"parameters": {
"window_name": "lecture.pdf — 6.006 Introduction to Algorithms, Lecture 2: Data Structures",
"strict": true
}
},
{
"type": "sleep",
"parameters": {
"seconds": 0.5
}
},
{
"type": "execute",
"parameters": {
"command": [
"python",
"-c",
"import pyautogui; pyautogui.press('f11');"
]
}
}
],
"trajectory": "trajectories/",
"related_apps": [
"chrome"
"vlc"
],
"evaluator": {
"func": "",
"result": {
},
"postconfig": [
{
"type": "launch",
"parameters": {
"command": [
"pkill",
"vlc"
]
}
},
{
"type": "launch",
"parameters": {
"command": "vlc"
}
}
],
"func": "check_global_key_play_pause",
"expected": {
"type": "rule",
"rules": {
"expected_global_key_play_pause": 1
}
},
"result": {
"type": "vlc_config",
"dest": "vlcrc"
}
}
}

40
evaluation_examples/examples/vlc/9195653c-f4aa-453d-aa95-787f6ccfaae9.json
View File

@@ -3,16 +3,46 @@
"snapshot": "chrome",
"instruction": "I like watching movies (using VLC) on my laptop and sometimes the volume is too low for my taste even when the volume in VLC is set to the maximum of 125% on the volume control. Can you increase the max volume of the video to the 200% of the original volume?",
"source": "https://superuser.com/questions/1513285/how-can-i-increase-the-maximum-volume-output-by-vlc?rq=1",
"config": [],
"config": [
{
"type": "launch",
"parameters": {
"command": "vlc"
}
}
],
"trajectory": "trajectories/",
"related_apps": [
"chrome"
"vlc"
],
"evaluator": {
"func": "",
"result": {
},
"postconfig": [
{
"type": "launch",
"parameters": {
"command": [
"pkill",
"vlc"
]
}
},
{
"type": "launch",
"parameters": {
"command": "vlc"
}
}
],
"func": "check_qt_max_volume",
"expected": {
"type": "rule",
"rules": {
"expected_qt_max_volume": 200
}
},
"result": {
"type": "vlc_config",
"dest": "vlcrc"
}
}
}

40
evaluation_examples/examples/vlc/a5bbbcd5-b398-4c91-83d4-55e1e31bbb81.json
View File

@@ -3,16 +3,46 @@
"snapshot": "chrome",
"instruction": "Could you help me hide the bottom toolbar in VLC Media Player when watching in window mode? I often multitask on my computer, and the persistent toolbar in VLC is very distracting. ",
"source": "https://superuser.com/questions/776056/how-to-hide-bottom-toolbar-in-vlc",
"config": [],
"config": [
{
"type": "launch",
"parameters": {
"command": "vlc"
}
}
],
"trajectory": "trajectories/",
"related_apps": [
"chrome"
"vlc"
],
"evaluator": {
"func": "",
"result": {
},
"postconfig": [
{
"type": "launch",
"parameters": {
"command": [
"pkill",
"vlc"
]
}
},
{
"type": "launch",
"parameters": {
"command": "vlc"
}
}
],
"func": "check_qt_minimal_view",
"expected": {
"type": "rule",
"rules": {
"expected_qt_minimal_view": 1
}
},
"result": {
"type": "vlc_config",
"dest": "vlcrc"
}
}
}

40
evaluation_examples/examples/vlc/d06f0d4d-2cd5-4ede-8de9-598629438c6e.json
View File

@@ -3,16 +3,46 @@
"snapshot": "chrome",
"instruction": "Can you change the color of the volume slider to black-ish color? I often use the player in a low-light environment, and a darker color scheme would be less straining on my eyes, especially during nighttime usage.",
"source": "https://superuser.com/questions/1039392/changing-colour-of-vlc-volume-slider",
"config": [],
"config": [
{
"type": "launch",
"parameters": {
"command": "vlc"
}
}
],
"trajectory": "trajectories/",
"related_apps": [
"chrome"
"vlc"
],
"evaluator": {
"func": "",
"result": {
},
"postconfig": [
{
"type": "launch",
"parameters": {
"command": [
"pkill",
"vlc"
]
}
},
{
"type": "launch",
"parameters": {
"command": "vlc"
}
}
],
"func": "check_qt_slider_colours",
"expected": {
"type": "rule",
"rules": {
"type": "blackish"
}
},
"result": {
"type": "vlc_config",
"dest": "vlcrc"
}
}
}

2
evaluation_examples/examples/vlc/d1ba14d0-fef8-4026-8418-5b581dc68ca0.json
View File

@@ -6,7 +6,7 @@
"config": [],
"trajectory": "trajectories/",
"related_apps": [
"chrome"
"vlc"
],
"evaluator": {
"func": "",

40
evaluation_examples/examples/vlc/f3977615-2b45-4ac5-8bba-80c17dbe2a37.json
View File

@@ -3,16 +3,46 @@
"snapshot": "chrome",
"instruction": "I want to watch two or more videos in same time on VLC. I tried to run multiple instances of VLC. It worked but can't play videos on those new instances. When I play video it plays on first instance instead of new instance.\nIs there any way to solve this problem? Take the three videos on my desktop for example, do that for me.",
"source": "https://www.reddit.com/r/Fedora/comments/rhljzd/how_to_run_multiple_instances_of_vlc_media_player/",
"config": [],
"config": [
{
"type": "launch",
"parameters": {
"command": "vlc"
}
}
],
"trajectory": "trajectories/",
"related_apps": [
"chrome"
"vlc"
],
"evaluator": {
"func": "",
"result": {
},
"postconfig": [
{
"type": "launch",
"parameters": {
"command": [
"pkill",
"vlc"
]
}
},
{
"type": "launch",
"parameters": {
"command": "vlc"
}
}
],
"func": "check_one_instance_when_started_from_file",
"expected": {
"type": "rule",
"rules": {
"expected_one_instance_when_started_from_file": 0
}
},
"result": {
"type": "vlc_config",
"dest": "vlcrc"
}
}
}