2 echo
"Select a target: "
4 echo
" clean (not implemented)"
5 echo
" build (not implemented)"
6 echo
" install (not implemented)"
10 git push
-v git
+ssh
://repo.or.cz
/srv
/git
/rclg.git master
:master tonylocal
:tonylocal
13 ## git tar-tree R_0-1 rclg-0.1 | gzip >rclg-0.1.tar.gz
14 ## 'git-archive' '--format=tar' '--prefix=rclg-0.1/' 'R_0-1'