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.rsa4096
authorise this key pair at https://hub.darcs.net/settings by reading the public key (eg
cat ~/.ssh/darcs.rsa4096.pub
)edit
~/.ssh/config
to 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-introduction
get 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.