On Fri, 19 Mar 2021 20:42:19 +0100
Vincent Legoll wrote:
> + '(#:tests? #f ;; No need for tests when you have formal proof
> of correctness
In just about any talk about Idris and Type Driven Development, Edwin
Brady always starts with "you still need tests".
On Sunday, March 21, 2021, raingloom wrote:
> On Fri, 19 Mar 2021 20:42:19 +0100
> Vincent Legoll wrote:
>
> > + '(#:tests? #f ;; No need for tests when you have formal proof
> > of correctness
> In just about any talk about Idris and Type Driven Development, Edwin
> Brady always starts with
Hi,
On Sat, 20 Mar 2021 at 12:13, pkill9 wrote:
> I would like to be able to pipe files into guix commands.
Well, this work:
guix search hello | recsel -C -P name | xargs guix build
> Specifically the `guix system build` command, so I can build a system
> configuration on a remote Guix syste
Hi Léo,
Léo Le Bouter skribis:
> See commit: 82e887ba48c2ba91b17aa9b6b17501e3e0ef4aef
>
> Following discussion around whether it is safe to graft and whether we
> should do so or not, first, I apologize for not doing as rigorous
> checking on this issue as I should have, and also requesting more
Thanks for the details, zimoun.
On Sunday, March 21, 2021 12:16 AM, zimoun wrote:
[...]
> > Also, I got a backtrace when checking icecat:
> > ★★★
> > Backtrace:cecat@78.8.0-guix0-preview1 [archival]...
>
> [...]
>
> > ice-9/boot-9.scm:1667:16: In procedure raise-exception:
> > In p
On Sun, Mar 21, 2021 at 12:00:20AM +0100, zimoun wrote:
> We discussed that and I agree. We also discussed some tagging and Maxim
> did some tests, IIRC. Please go ahead and let try if it helps to
> synchronize. :-)
Here is the checklist:
https://bugs.gnu.org/47297
I've added a few items, but
Hello!
> Removing a package and its services is not something to do lightly:
> it
> breaks user configs with no recourse.
>
> We must insist on getting more opinions on such matters, and I think
> there just wasn’t enough feedback here. I understand it can be
> frustrating to wait for input, but
> I do agree though that it would be nicer to just have '-' as a guix
> input arg causing any guix command to read from stdin.
Doesnt /dev/stdin work?
The only reason it could not is that somehow the file descriptor needs
to be seekable.
Léo
signature.asc
Description: This is a digitally sign
On Mon, Mar 22, 2021 at 04:07:15AM +0530, Sarthak Shah wrote:
> Hello, I put together a tiled svg wallpaper for GuixSD (attached)
> using the logo resources in the git repository.
> I'm not sure where to submit it
Cool!
We usually keep this kind of thing in the 'guix-artwork' repository:
https:/
