Re: guix-package --roll-back

2013-01-10 Thread Nikita Karetnikov
Hi, I've forgotten to ask about the following. (equal? (map (cut file-exists? ) (list previous-profile manifest)) '(#t #t)) Is it enough to check that 'previous-profile' and 'manifest' exist. Should it actually check 'manifest'? Nikita pgp89DCJlheYr.pgp

libsigsegnv does not install

2013-01-10 Thread Andreas Enge
Hello, when reinstalling from scratch the current core-updates branch and trying to build hello, there is a problem with libsigsegv; the last lines of output are: make[1]: Leaving directory `/tmp/nix-build- libsigsegv-2.10.drv-0/libsigsegv-2.10' phase `install' succeeded after 0 seconds

Re: Error messages and progress report

2013-01-10 Thread Ludovic Courtès
Andreas Enge andr...@enge.fr skribis: Well, it could be slightly improved. I am just downloading http://linux-libre.fsfla.org/pub/linux-libre/releases/3.3.8-gnu/linux-libre-3.3.8-gnu.tar.xz, and the file name is so long that the progress counter does not fit into the same line any more. I

Re: libsigsegnv does not install

2013-01-10 Thread Ludovic Courtès
Andreas Enge andr...@enge.fr skribis: stripping binaries in /nix/store/m9hlgg7lymg671n1r38n2sigxpp7rr3x-libsigsegv-2.10-lib/lib with flags (--strip-debug) strip:/nix/store/m9hlgg7lymg671n1r38n2sigxpp7rr3x-libsigsegv-2.10-lib/lib/libsigsegv. la: File format not recognized phase `strip'

Re: guix-package --roll-back

2013-01-10 Thread Ludovic Courtès
Hi, Nikita Karetnikov nik...@karetnikov.org skribis: I'm attaching a slightly modified version. Thanks! Yeah, that’s expected. Basically, if you do guix-package -p /dev/null --roll-back it should fail with an error message saying that there is no previous profile or something like

Re: A logo

2013-01-10 Thread Ludovic Courtès
Andreas Enge andr...@enge.fr skribis: actually, the logo looks very much like the anarchist symbol, I spontaneously interpreted the lambda as an A. This might be understood by your battle for freedom, Yes. but is maybe a bit extreme. Extremeness is in the eye of the beholder. ;-) In

Website Link Exchange with Day News

2013-01-10 Thread Jerome Agris Jr,
Hello from Day News, My name is Jerome Agris Jr webmaster of http://www.daynews.com I found your website on the Internet and feel that it would fit perfectly into our collection of quality links at our site. We would like to propose a link exchange with your website that will surely benefit us

Re: guix-package --roll-back

2013-01-10 Thread Nikita Karetnikov
See SRFI-37 in Guile’s manual. Yeah, I've already checked it, but it's very brief. I created a simple function to test command-line options, but I'm having the same problems. Here is the function: (define* (foo #:optional arg) (if arg (simple-format #t Just ~a~% arg)