On 6/14/11 4:44 PM, PJ Weisberg wrote:
On Tuesday, June 14, 2011, David Barr<davidbarr@xxxxxxxxxx> wrote:
On Tue, Jun 14, 2011 at 11:00 PM, Edmondo Porcu
<Edmondo.Porcu@xxxxxxxxxxxxxxxxx> wrote:
dangling blob 43cb00bb9f23b73afc874c4105b136f8c426e4a5
dangling blob 48ef642adb1549ee1d4040ec9337d3a47c19d422
[...]
Was it 'rm -rf' or 'git rm -rf'?
If just the non-git command, maybe 'git checkout --<missing paths>'?
Not if it was never checked in, unfortunately.
You don't need to commit the file. If you add files with `git add` and
then delete them with plain `rm`, you can recover them with a simple
`git checkout`, just like David suggested. See this transcript:
$ git init tmp
Initialized empty Git repository in <snip>/tmp/.git/
$ cd tmp
$ touch file
$ git add file
$ rm file
$ ls file
ls: file: No such file or directory
$ git checkout -- file
$ ls file
file
$
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html