Hello, > # read a new index file with the HEAD information > GIT_INDEX_FILE=tmp-index git-read-tree HEAD > # check out just the one file you want to have > GIT_INDEX_FILE=tmp-index git-checkout-cache -f filename > # remove the now useless temporary index > rm tmp-index > # update your _real_ index file with the file information > git-update-cache filename thanks. That is exactly what I was looking for. Thomas - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.htmlReceived on Thu May 05 05:20:53 2005
This archive was generated by hypermail 2.1.8 : 2005-05-05 05:20:53 EST