summary refs log tree commit diff stats
path: root/results/classifier/118/none/1193564
diff options
context:
space:
mode:
Diffstat (limited to 'results/classifier/118/none/1193564')
-rw-r--r--results/classifier/118/none/119356438
1 files changed, 38 insertions, 0 deletions
diff --git a/results/classifier/118/none/1193564 b/results/classifier/118/none/1193564
new file mode 100644
index 00000000..9dd7284a
--- /dev/null
+++ b/results/classifier/118/none/1193564
@@ -0,0 +1,38 @@
+device: 0.797
+graphic: 0.768
+mistranslation: 0.622
+semantic: 0.598
+user-level: 0.506
+VMM: 0.461
+ppc: 0.433
+vnc: 0.427
+performance: 0.416
+network: 0.416
+TCG: 0.411
+risc-v: 0.387
+boot: 0.376
+architecture: 0.348
+KVM: 0.330
+arm: 0.319
+socket: 0.316
+i386: 0.303
+kernel: 0.280
+x86: 0.257
+debug: 0.229
+hypervisor: 0.191
+virtual: 0.157
+register: 0.136
+assembly: 0.134
+PID: 0.133
+peripherals: 0.117
+files: 0.116
+permissions: 0.065
+
+monitor: rename `screendump` command to `screenshot`
+
+`screendump` is hard to memorize for occasional users. It is easier to remember `screenshot` name.
+
+It would also be nice if monitor appended extension automatically if not set.
+
+The monitor has TAB completion, so you should get the right command if you type "screen" + TAB. And since it's been quite a while since this ticket has been opened and nobody took care of this, I think it's quite unlikely that the name of the command gets changed, so closing this ticket now as "Won't fix" - sorry!
+