Wednesday, May 29, 2013

Pushing/pulling a specific branch between local and remote repository

from http://www.mariopareja.com/blog/archive/2010/01/11/how-to-push-a-new-local-branch-to-a-remote.aspx

git push -u origin plugin
 
This tells git to push changes from your plugin branch to the plugin branch on the origin repository. If origin does not have a plugin branch, it is created on the fly. The -u tells git that you want to be able to easily push and pull changes to that branch in the future.

 To perform the opposite, to pull a repo other than master,  use:

git checkout -b experimental origin/experimental

Monday, May 20, 2013

Selective recursive file input for tar archive creation :

find . -name \*L2.dat |tar -czvf file.tgz --files-from -