diff options
Diffstat (limited to 'results/classifier/118/none/1193564')
| -rw-r--r-- | results/classifier/118/none/1193564 | 38 |
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! + |