Re: 01/01: gnu: bluez: Install the library and header files.

2015-05-24 Thread Andreas Enge
Hello,

On Sat, May 23, 2015 at 06:41:49PM -0400, Mark H Weaver wrote:
> The form feeds that you just removed were put in by civodul in commit
> c84d0eca053cd524294ad10c1f49a877902932c4.  Presumably he put them there
> intentionally.  Did you intend to remove them as part of this unrelated
> bluez commit?

this is just a consequence of my editor settings that remove white space
at the end of lines upon saving a file. I usually only see them when I
commit (and did not consider it harmful, except that it hides the real
changes in the diff). I just changed it so that only white space at the end
of lines I touched are concerned.

Andreas




Re: 01/01: gnu: dbus-glib: Propagate inputs dbus and glib.

2015-05-24 Thread Andreas Enge
On Sat, May 23, 2015 at 07:17:35PM -0400, Mark H Weaver wrote:
> The only change you actually made to messaging.scm in this commit was to
> add your copyright notice.

That was a mistake, I intended to make the change announced in the commit
message. Probably a consequence of juggling with too many files, since I
also built all the modified packages (with the exception of icecat) to make
sure everything still works.

> However, I have a larger question about this commit: Should 'dbus' and
> 'glib' be removed from the inputs of every package that has 'dbus-glib'
> as an input?  My answer would be "not necessarily".  IMO, the only time
> we should remove input A from a package is when it doesn't use A
> directly.

I have no definite answer to this. Not removing them would definitely mean
less work. Even more so since it is not easy to determine the transitive
closure of propagation: If A is propagated by B and B is propagated by C,
then everything including C does not need to include A.

In practice, for a new package, I am usually building with incrementally more
inputs, following the complaints by the configure phase. So if it first
complains about dbus-glib, I would add it, and not see any complaints about
dbus and glib, which would not be included. If it first complains about glib,
then dbus, then dbus-glib, I would add all three and maybe not even see that
one of them is enough.

Contrarily to you, I wondered whether we should not even build a linter to
verify if propagated inputs could not be dropped as explicit inputs... But
I think it would make for a lot of work with little effect anyway.

So maybe we should not do anything special and just let randomness take its
course in this matter?

Andreas




Re: Guix Oficial Website

2015-05-24 Thread Mathieu Lirzin
Luis Felipe López Acevedo  writes:

> I attach my implementation. It works, but since I'm a novice, it may
> not be pretty :) So, comments are very welcomed.

Nice work! I have noticed some trailing whitespaces. In emacs you can
invoke 'M-x delete-trailing-whitespace' before saving.

--
Mathieu Lirzin




Re: 01/01: gnu: dbus-glib: Propagate inputs dbus and glib.

2015-05-24 Thread Ludovic Courtès
Commit 2e88d11 suggests that dbus-glib-1.pc mentions GLib and DBus.
That’s one of the two criteria that we use to add propagate inputs.
So that part of the commit is OK.

As for removing DBus and GLib as inputs of the other packages, it’s
really a question of whether the package uses them directly or not, as
Mark wrote.  This would need to be checked for each of them.  The
conservative approach would be to leave DBus and GLib as inputs until we
have evidence that the package in fact only needs dbus-glib.

Should we revert that part of the commit, at least for packages for
which we don’t know?

Thanks,
Ludo’.



Re: Guix Oficial Website

2015-05-24 Thread Ludovic Courtès
Luis Felipe López Acevedo  skribis:

> On 2015-05-22 08:29, l...@gnu.org wrote:
>> Luis Felipe López Acevedo  skribis:
>>
>>> I think I understand the Scheme side of the website now and I'm able
>>> to build the HTML using the REPL, so I'd like to give it a try.
>>
>> Excellent, thank you!
>>
>> Ludo’.
>
> I attach my implementation. It works, but since I'm a novice, it may
> not be pretty :) So, comments are very welcomed.

LGTM, please push!

(I can do the CVS commit afterwards.)

Thanks,
Ludo’.



Re: 01/01: gnu: dbus-glib: Propagate inputs dbus and glib.

2015-05-24 Thread Mark H Weaver
l...@gnu.org (Ludovic Courtès) writes:

> Commit 2e88d11 suggests that dbus-glib-1.pc mentions GLib and DBus.
> That’s one of the two criteria that we use to add propagate inputs.
> So that part of the commit is OK.
>
> As for removing DBus and GLib as inputs of the other packages, it’s
> really a question of whether the package uses them directly or not, as
> Mark wrote.  This would need to be checked for each of them.  The
> conservative approach would be to leave DBus and GLib as inputs until we
> have evidence that the package in fact only needs dbus-glib.

Agreed.

> Should we revert that part of the commit, at least for packages for
> which we don’t know?

FWIW, I don't feel the need to revert, especially since it would entail
more rebuilding, but in the future I would prefer to use the more
conservative approach that you outlined above.


Andreas Enge  writes:

> In practice, for a new package, I am usually building with incrementally more
> inputs, following the complaints by the configure phase. So if it first
> complains about dbus-glib, I would add it, and not see any complaints about
> dbus and glib, which would not be included. If it first complains about glib,
> then dbus, then dbus-glib, I would add all three and maybe not even see that
> one of them is enough.

Fair enough :)  I suspect that's the way most of our packages were built,
and that's okay.  For that matter, I suspect that's the way most authors
of C files determine which header files to #include.

> So maybe we should not do anything special and just let randomness take its
> course in this matter?

I don't think we should spend a lot of time on this, but to the extent
we are aware of which inputs are directly needed by a given package, I
think we should aim to include all directly used inputs, as opposed to
aiming to remove inputs whenever they are propagated by something else.

  Mark



Re: 01/01: gnu: bluez: Install the library and header files.

2015-05-24 Thread Mark H Weaver
Andreas Enge  writes:

> On Sat, May 23, 2015 at 06:41:49PM -0400, Mark H Weaver wrote:
>> The form feeds that you just removed were put in by civodul in commit
>> c84d0eca053cd524294ad10c1f49a877902932c4.  Presumably he put them there
>> intentionally.  Did you intend to remove them as part of this unrelated
>> bluez commit?
>
> this is just a consequence of my editor settings that remove white space
> at the end of lines upon saving a file. I usually only see them when I
> commit (and did not consider it harmful, except that it hides the real
> changes in the diff). I just changed it so that only white space at the end
> of lines I touched are concerned.

Sounds good, thanks!

 Mark



Re: Guix Oficial Website

2015-05-24 Thread Luis Felipe López Acevedo

On 2015-05-24 07:58, Mathieu Lirzin wrote:

Luis Felipe López Acevedo  writes:


I attach my implementation. It works, but since I'm a novice, it may
not be pretty :) So, comments are very welcomed.


Nice work! I have noticed some trailing whitespaces. In emacs you can
invoke 'M-x delete-trailing-whitespace' before saving.

--
Mathieu Lirzin


Thanks for checking, and for the tip :)


--
Luis Felipe López Acevedo
http://sirgazil.bitbucket.org/



Re: Guix Oficial Website

2015-05-24 Thread Luis Felipe López Acevedo

On 2015-05-24 08:19, l...@gnu.org wrote:

Luis Felipe López Acevedo  skribis:


On 2015-05-22 08:29, l...@gnu.org wrote:

Luis Felipe López Acevedo  skribis:


I think I understand the Scheme side of the website now and I'm able
to build the HTML using the REPL, so I'd like to give it a try.


Excellent, thank you!

Ludo’.


I attach my implementation. It works, but since I'm a novice, it may
not be pretty :) So, comments are very welcomed.


LGTM, please push!

(I can do the CVS commit afterwards.)

Thanks,
Ludo’.


Pushed, and thanks :)


--
Luis Felipe López Acevedo
http://sirgazil.bitbucket.org/



Re: Website, differentiating GuixSD vs Guix

2015-05-24 Thread Amirouche Boubekki
2015-05-21 23:43 GMT+02:00 Luis Felipe López Acevedo <
felipe.lo...@openmailbox.org>:

> On 2015-05-20 14:22, Paul van der Walt wrote:
>
>> Hello Guix,
>>
>> Minor headache i had, thought i'd share.
>>
>> Went to the website to download the binary tarball (which seems to work
>> very well, kudos!), but was bitten by the fact that the GuixSD and GNU
>> Guix downloads aren't separated. I first ended up with GuixSD instead of
>> Guix, then after reading way too quickly concluded that i686 was what i
>> wanted, ended up with the wrong Guix for my platform (x86_64, which is
>> visually at the end of the "list" containing GuixSD 0.8.2 (x86_64) and
>> GuixSD 0.8.2 (i686)).
>>
>> So, i realise i should read more carefully and all, but perhaps a
>> horizontal rule between the two GuixSD and the 4 GNU Guix downloads
>> would be nice?
>>
>> Feel free to call me hasty and myopic or just ignore me. Otherwise it
>> looks really polished, congrats :)
>>
>> Ciao,
>> p.
>>
>
> Hey, Paul, thanks for your feedback.
>
> The items in the download page will be updated to look like in the
> following mock-up to make them more compact:
>
>
> https://multimedialib.files.wordpress.com/2015/05/guixsd-downloads-mockup-2015-05-21.png
>
> Hopefully, the new design will also help people


What do you think about using a “laptop logo” or something for GSD instead
of the “package”?


> who push buttons without reading (just kidding :)).
>

Those who don't know the difference between GSD and Guix :)


>
> --
> Luis Felipe López Acevedo
> http://sirgazil.bitbucket.org/
>
>


Re: Website, differentiating GuixSD vs Guix

2015-05-24 Thread Luis Felipe López Acevedo

On 2015-05-24 11:44, Amirouche Boubekki wrote:

2015-05-21 23:43 GMT+02:00 Luis Felipe López Acevedo
:


[...]



Hey, Paul, thanks for your feedback.

The items in the download page will be updated to look like in the
following mock-up to make them more compact:



https://multimedialib.files.wordpress.com/2015/05/guixsd-downloads-mockup-2015-05-21.png

[1]

Hopefully, the new design will also help people


What do you think about using a “laptop logo” or something for GSD
instead of the “package”?


I think it's a good idea. I can make the change if others agree.


--
Luis Felipe López Acevedo
http://sirgazil.bitbucket.org/



Re: Guix Oficial Website

2015-05-24 Thread Adam Pribyl

Luis,

your work on the website is very appreciated, just check result with 
e.g.


https://validator.w3.org/

for syntax and other errors. Then it would be perfect.

Regards

Adam Pribyl



Re: Prerequesits GuixSD

2015-05-24 Thread Adam Pribyl

On Tue, 19 May 2015, Amirouche BOUBEKKI wrote:


Le mardi 19 mai 2015 à 10:55 +0200, Ricardo Wurmus a écrit :

Hi Fabian,


But the system build broke.


What exactly does this mean?


I used a Lenovo T60 with just 1GB RAM. What hardware do i need to
build a Guix system? I used the very tiny system configuration that i
found on the installer USB with slight changes.


I use the Guix System Distribution (GuixSD) on both a T60 and an X200s.
I did *not* compile everything from scratch but used binary substitutes
for the vast majority of packages.


Here on a glublub X60 it installed correctly with substitues. There is
XFCE and WM maker as WM. And it works quiet good as second workstation.
GSD hasn't yet, all the s/spies/daemons that other distros can have ;)


This is it, with substitutes, it works, even on 1GB of RAM. But as soon as 
you want to compile, then 1GB of RAM is not enought. I even used 1GB swap 
and still no go.


The question is something I am interest in too - what is the minimum to 
compile the guix(SD)? Does anybody know?



~~ Ricardo


Adam Pribyl

Re: Initializing a 64bit system using guix on a 32bit OS

2015-05-24 Thread Alex Kost
Ludovic Courtès (2015-05-22 16:28 +0300) wrote:

> Alex Kost  skribis:
[...]
>> So I'm wondering is there a way to init a 64-bit system from a 32-bit
>> one or perhaps it's just not possible?
>
> It actually is possible, but a little bit trickier.  Mark did it a few
> weeks ago, though in a slightly different context.  The following should
> work:
>
>   1. Install an i686 GuixSD, simply with ‘guix system init’, but use an
>  x86_64 kernel.  To do that, you need to explicitly ask for an
>  x86_64 kernel and Guix (so that the daemon accepts to build x86_64
>  things) in the OS config:
>
>(define linux-libre-x86_64
>  (package (inherit linux-libre)
>(arguments `(#:system "x86_64-linux"
> ,@(package-arguments linux-libre)
>
>(define guix-x86_64
>  (package (inherit guix)
>(arguments `(#:system "x86_64-linux"
> ,@(package-arguments guix)
>
>(define %my-services
>  ;; Make sure the ‘guix-daemon’ services uses ‘guix-x86_64’.
>  (map (lambda (mservice)
> (mlet %store-monad ((service mservice))
>   (if (memq 'guix-daemon (service-provision service))
>   (guix-daemon #:guix guix-x86_64)
>   (return service
>   %base-services))
>
>(operating-system
>  ;; ...
>  (kernel linux-libre-x86_64)
>  (services %my-services))
>
>  Normally you’ll get the x86_64 kernel and Guix from hydra.gnu.org,
>  so no problem.  The rest of the user-land will still be 32-bit.
>
>   2. Boot into the new system, and from there run ‘guix system
>  reconfigure’ with a cleaned up OS config.
>
> Let us know how it goes!

Mark and Ludovic, thank you very much!  Eventually I installed a 64-bit
system from a 32-bit Guix, based on your notes.

Guix is great!  Ave Guix!!

-- 
Alex



Re: 01/01: gnu: dbus-glib: Propagate inputs dbus and glib.

2015-05-24 Thread Andreas Enge
On Sun, May 24, 2015 at 10:33:05AM -0400, Mark H Weaver wrote:
> l...@gnu.org (Ludovic Courtès) writes:
> > Should we revert that part of the commit, at least for packages for
> > which we don’t know?
> FWIW, I don't feel the need to revert, especially since it would entail
> more rebuilding, but in the future I would prefer to use the more
> conservative approach that you outlined above.

Okay, both are fine with me.

> I don't think we should spend a lot of time on this, but to the extent
> we are aware of which inputs are directly needed by a given package, I
> think we should aim to include all directly used inputs, as opposed to
> aiming to remove inputs whenever they are propagated by something else.

Also okay then. It also saves quite some time...

Andreas




Re: Guix Oficial Website

2015-05-24 Thread Luis Felipe López Acevedo

On 2015-05-24 13:31, Adam Pribyl wrote:

Luis,

your work on the website is very appreciated, just check result with 
e.g.


https://validator.w3.org/

for syntax and other errors. Then it would be perfect.

Regards

Adam Pribyl


Hi Adam.

Yes, I'm aware of those. Most of them are because of a missing Doctype 
definition on all pages, and because of using XML syntax in self-closing 
elements. Part of that is related to the current SXML to XML conversion 
method.


I'll see what I can do :)

--
Luis Felipe López Acevedo
http://sirgazil.bitbucket.org/



Re: Guix Oficial Website

2015-05-24 Thread Luis Felipe López Acevedo

On 2015-05-24 17:48, Luis Felipe López Acevedo wrote:


Hi Adam.

Yes, I'm aware of those. Most of them are because of a missing Doctype
definition on all pages, and because of using XML syntax in
self-closing elements. Part of that is related to the current SXML to
XML conversion method.


I meant to say that the pages are missing a Document type declaration, 
and that SXML to XML renders empty non-self-closing elements as 
self-closing elements. For example


(video (@ (src "http://somevideo.org/video.webm";)))

Will be rendered as

http://somevideo.org/video.webm"/>

Instead of

http://somevideo.org/video.webm";>

In the case of the current video in the homepage, the issue can be 
avoided because that video should provide alternative content, which 
I'll fix. And, as a workaround for pages that include JavaScript in the 
future, I think a noscript element could be used as alternative.


--
Luis Felipe López Acevedo
http://sirgazil.bitbucket.org/