As described here you can set up cloning via ssh (HTTPS is not supported) with: first, a passphrase-less key in ~/.ssh/id_pub
:
mkdir ~/.ssh
dropbearkey -t rsa -f ~/.ssh/id_rsa
dropbearkey -y -f ~/.ssh/id_rsa | sed -n 2p > ~/.ssh/id_rsa.pub
Second, a wrapper script ~/local/bin/ssh-git
and make it executable with chmod +x ~/local/bin/ssh-git
:
#!/data/data/com.spartacusrex.spartacuside/files/system/bin/bash
exec ssh -i ~/.ssh/id_rsa "$@"
Third, some settings in .bashrc
. I have put it in another file included by .bashrc
on Android only, so I can use the same .bashrc
on other environments too:
export GIT_SSH=~/local/bin/ssh-git
export GIT_AUTHOR_NAME="USER NAME"
export GIT_AUTHOR_EMAIL="user@email.address"
export GIT_COMMITTER_NAME=$GIT_AUTHOR_NAME
export GIT_COMMITTER_EMAIL=$GIT_AUTHOR_EMAIL
Restart Terminal IDE before this changes can be used.
There is another thread on this is at https://code.google.com/p/terminal-ide/issues/detail?id=26.