mousey's category theory (https://hub.darcs.net/mousey/category-introduction)
root
set up on the darcs hub:
generate a ssh keypair
ssh-keygen -t rsa -b 4096 -f ~/.ssh/darcs.rsa4096authorise this key pair at https://hub.darcs.net/settings by reading the public key (eg
cat ~/.ssh/darcs.rsa4096.pub)edit
~/.ssh/configto include the following:
Host darcs hub.darcs.net
Hostname hub.darcs.net
Ciphers aes256-cbc
PubkeyAuthentication yes
IdentityFile ~/.ssh/darcs.rsa4096
test the connection with
ssh -T <user>@darcs, which should returnshell request failed on channel 0, and not<user>@hub.darcs.net: Permission denied (publickey).at this point, using darcs with hub.darcs.net should work ok, test
darcs push <user>@hub.darcs.net:<repository>, for example:darcs push mousey@hub.darcs.net:category-introductionget a copy of this repo:
darcs clone mousey@hub.darcs.net:category-introduction
(troubleshooting)
- hub.darcs.net only supports the aes-cbc ciphersuites, and rsa keypairs -- ed25519 seems to be unsupported.