Hacker News Reader

Comment by aliswe | Hacker News Reader

I don't know if this is by design, but Ctrl+V still doesn't work. Shift+Insert does though.

You can add the following in your settings:

    "keybindings": [
        {
            "command": "copy",
            "keys": [
                "ctrl+c"
            ]
        },
        {
            "command": "paste",
            "keys": [
                "ctrl+v"
            ]
        }
    ]

Please raise your opinions in this issue: https://github.com/microsoft/terminal/issues/968

HCL (HashiCorp's version of JSON) would be ideally suited for this kind of configurations.

This is JSON, why put a brand name on it?

I shouldn't have called it "their JSON". Systems that accept HCL usually accept JSON as well, but HCL is much more human friendly. See https://github.com/hashicorp/hcl

Would that work with "alt" instead of "ctrl"? Using the Control key for command shortcuts in a terminal may not be the smartest idea.

Meanwhile my corporation just bought new HP ZBook 14 which don't have Insert key. Instead it has dumb phone keys and something with a monitor painted on, 3 useless buttons instead of proper keys. No sysrq, no pause/break either. And this modes is supposedly for "work", not for gaming or media (from marketing point of view).

It is so frustrating to press extra keys just to have ctrl+ins and shift+ins.

Can't you give it back to the corporation? Else, this is only the beginning of your frustrations. The next upgrade would almost certainly be worse.

This is a centralized upgrade, so they won't change the contract just for me and we don't have a BYOD policy here. Anyway - external KB alleviates it mostly, I'm just ranting at a corporations making "Pro" or "Workstation" devices clearly downgraded for these same categories - professional workers. Macbooks without F keys, lenovo cutting keyboards from best in industry to "meh" and so on.

How about an external keyboard to alleviate the problems though.

At workplace this is what I do, mostly for better key profile - I'm using MS Natural 4000 with a front bar. But when traveling or working from home I'm using it as-is, with a laptop KB.

Perhaps Ctrl+Shift+V, which is also used in a lot of Unix terminals since Ctrl+V usually would insert some control character that no one needs, but the hotkey cannot take that away.

Using the Control key for GUI shortcuts in a terminal, where control codes are part of the interface has always been an extremely dumb idea, just like backslashes as directory separators in path names, but that's Microsoft for you.

Huh? I'm not aware of any shortcuts using the Ctrl key in the console host (which uses function keys) or the new terminal (where the post I commented on complained that Ctrl+V does not work).

The fact that you're missing it from an incomplete pre-release doesn't make the idea any smarter.

2020 and their terminal still doesn't paste like every other app in existence?

I don't even know how to type "Insert" on my non full keyboard.

Have you tried ctrl-shift-v?

CTRL-SHIFT-V works for me.

Reply on news.ycombinator.com