As described here , you can configure cloning via ssh (HTTPS is not supported): firstly, a key without an access code 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
Secondly, wrap the 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 " $@ "
Thirdly, some settings in .bashrc . I put it in another file included .bashrc only on Android, so I can use the same .bashrc in other environments:
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
Reboot the terminal IDE before these changes can be used.
There is another thread: https://code.google.com/p/terminal-ide/issues/detail?id=26 .
Jakob
source share