437 karma · joined December 22, 2012
"Let Copilot decide where you want to go today!"
git config core.sshCommand "ssh -i /home/your_user/.ssh/your_custom_key"
(I believe replacing "/home/your_user" with "~" works too)I use this all the time as my main key is ed25519 but some old repositories only support rsa keys.
The sshCommand config is, as the name says, the literal ssh command that is used by git when operations that call a remote with ssh (usually push/pull). You can also put other ssh options in there if you need.
Another option to achieve the same effect is to setup directly in your ~/.ssh/config:
Host your_custom_alias
HostName git.domain.com
User git
IdentityFile ~/.ssh/your_custom_key
then instead of "git clone git@git.domain.com:repo.git" you clone it with "git clone your_custom_alias:repo.git" (or you change the remote if is already cloned). In this case you don't need to have to change the git sshCommand option.Unless you're neuralinking to AI, you're still typing.
What changed is what you type. You type less words to solve your problem. The machine does the conversion from less words to more words. At the expense of less precision: the machine can do the conversion to the incorrect sequence of more words.
It kinda is. Your identity is in the hands of whoever controls the PLC Directory. You can argue this is better than having your account and identity on the same place, but it still a third party that you depends on.
Beeminder does exactly that!
Now everything is this sad rounded cornered square.
(Also, the parent comment's example is also not so good because as someone else pointed just because the top 25% websites are serving webp it does mean they're not serving alternative formats for those who does not support it, as this is quite trivial to setup)