Re: [PATCH] scripts: hash: Add --git option. WIP

2017-11-28 Thread Leo Famulari
On Tue, Nov 28, 2017 at 07:57:32PM +0100, Jan Nieuwenhuizen wrote: > Andy Wingo writes: > > Weird that we have done the same thing :) > > > > https://git.savannah.gnu.org/gitweb/?p=guix.git;a=commit;h=572907daff98a77a4215861a88b81d2f30542c09 > > :-) Nice!...on what branch is that? You did see

Re: [PATCH] scripts: hash: Add --git option. WIP

2017-11-28 Thread Jan Nieuwenhuizen
Andy Wingo writes: >>guix hash --git HEAD >>guix hash --git v0.13 >> >> WDYT? > > Weird that we have done the same thing :) > > https://git.savannah.gnu.org/gitweb/?p=guix.git;a=commit;h=572907daff98a77a4215861a88b81d2f30542c09 :-) Nice!...on what branch is that? You did see Ludo's

Re: [PATCH] scripts: hash: Add --git option. WIP

2017-11-28 Thread Andy Wingo
On Thu 23 Nov 2017 04:54, Jan Nieuwenhuizen writes: > Hi! > > Attached is a patch to get the hash of a git archive without having to > clean the tree or do a clean checkout. > > Using > > guix hash -gr . > > procudes the same hash as doing something like > > git clone .

Re: [PATCH] scripts: hash: Add --git option. WIP

2017-11-24 Thread Ludovic Courtès
ash --git v0.13 > > WDYT? This can always be added in a later patch. > From cfc9e557db6fe6c9aece68cfc5153ec9481a45a4 Mon Sep 17 00:00:00 2001 > From: Jan Nieuwenhuizen <jann...@gnu.org> > Date: Thu, 23 Nov 2017 04:30:13 +0100 > Subject: [PATCH] scripts: hash: Add --git option. WIP > &g

[PATCH] scripts: hash: Add --git option. WIP

2017-11-22 Thread Jan Nieuwenhuizen
te: Thu, 23 Nov 2017 04:30:13 +0100 Subject: [PATCH] scripts: hash: Add --git option. WIP Using guix hash -gr . procudes the same hash as doing something like git clone . tmp && guix hash -rx tmp && rm -r tmp * guix/git.scm (git-ls-files): New function. * guix/scripts