56 lines
1.4 KiB
JSON
56 lines
1.4 KiB
JSON
{
|
|
"id": "13584542-872b-42d8-b299-866967b5c3ef",
|
|
"snapshot": "os",
|
|
"instruction": "I click in terminal: terminal->132x43 to change terminal size but after each reboot terminal size is set to default setting and I have to change it again. Help me set it permanently",
|
|
"source": "https://superuser.com/questions/72176/linux-set-default-terminal-size-and-screen-position",
|
|
"trajectory": "trajectories/",
|
|
"config": [
|
|
{
|
|
"type": "execute",
|
|
"parameters": {
|
|
"command": [
|
|
"python",
|
|
"-c",
|
|
"import pyautogui; import time; pyautogui.click(960, 540); time.sleep(0.5);"
|
|
]
|
|
}
|
|
}
|
|
],
|
|
"related_apps": [
|
|
"os"
|
|
],
|
|
"evaluator": {
|
|
"postconfig": [
|
|
{
|
|
"type": "sleep",
|
|
"parameters": {
|
|
"seconds": 1
|
|
}
|
|
},
|
|
{
|
|
"type": "execute",
|
|
"parameters": {
|
|
"command": [
|
|
"python",
|
|
"-c",
|
|
"import pyautogui; import time; time.sleep(0.5); pyautogui.hotkey('ctrl', 'alt', 't'); time.sleep(0.5); pyautogui.write('stty size'); time.sleep(0.5); pyautogui.press('enter')"
|
|
]
|
|
}
|
|
}
|
|
],
|
|
"func": "check_include_exclude",
|
|
"result": {
|
|
"type": "vm_terminal_output"
|
|
},
|
|
"expected": {
|
|
"type": "rule",
|
|
"rules": {
|
|
"include": [
|
|
"43 132"
|
|
],
|
|
"exclude": []
|
|
}
|
|
}
|
|
},
|
|
"proxy": false
|
|
} |