Re: “Guix Profiles in Practice”

2019-10-25 Thread Pjotr Prins
On Fri, Oct 25, 2019 at 12:36:01PM -0400, Thompson, David wrote:
> On Fri, Oct 25, 2019 at 6:57 AM Ludovic Courtès  wrote:
> >
> > Hello Guix!
> >
> > Here’s a new blog post by Pierre Neidhardt entitled “Guix Profiles in
> > Practice”:
> >
> >   https://guix.gnu.org/blog/2019/guix-profiles-in-practice/
> >
> > A great discussion on the benefits of manifests and on ways to manage
> > several profiles!
> 
> Great article!

I agree. One useful thing not mentioned in there is, that before
loading a profile, it may be worthwhile to empty the shell with

  env -i /bin/bash --login --noprofile --norc

  . ~/opt/my-tools-profile/etc/profile

so no existing shell variables may pollute your beautiful setup. 

Pj




Re: “Guix Profiles in Practice”

2019-10-25 Thread Thompson, David
On Fri, Oct 25, 2019 at 6:57 AM Ludovic Courtès  wrote:
>
> Hello Guix!
>
> Here’s a new blog post by Pierre Neidhardt entitled “Guix Profiles in
> Practice”:
>
>   https://guix.gnu.org/blog/2019/guix-profiles-in-practice/
>
> A great discussion on the benefits of manifests and on ways to manage
> several profiles!

Great article!

I spotted a typo in the first paragraph: "on a same system" should be
"on the same system."

The section below reminds me about some unfinished work from back when
I wrote 'guix environment':

Eventually, we set to work on that project again, so we run guix
environment -m manifest.scm. But now we have to wait for Guix to
build and install stuff!

This is indeed a frustration.  It takes a bunch of extra switches to
have 'guix environment' create a profile and even I don't bother with
it, just opting to build a new profile if I've upgraded guix since the
last time I worked on the project.  This gets me into trouble when I
upgrade guix and decide that I want to work on the project while I'm
somewhere with no network connection or too slow of a connection to
download everything in a reasonable time.  It has happened to me
multiple times while commuting by train.

'guix environment' is a very composable command, and it's not clear to
me how I would add the stuff I want onto it and it's even less clear
if it's a good idea.  Probably not.  So, I wonder if maybe a new
subcommand, say 'guix develop', could address this common development
use-case while allowing 'guix environment' to continue being the swiss
army knife that it is.  Some simple naming conventions could make this
tool "just work."  Running 'guix develop' would check for a profile
symlink with some canonical name, for example '.guix-develop-profile'.
If it exists, it applies the environment variables and spawns a
subshell.  If it doesn't exist, it looks for a 'develop.scm' file
(canonical name TBD), builds the profile, symlinks it to
'.guix-develop-profile', and then does the prior steps.  The tool
would provide a mechanism to update, etc. and it could even be
expanded later to spawn services like databases.

- Dave



“Guix Profiles in Practice”

2019-10-25 Thread Ludovic Courtès
Hello Guix!

Here’s a new blog post by Pierre Neidhardt entitled “Guix Profiles in
Practice”:

  https://guix.gnu.org/blog/2019/guix-profiles-in-practice/

A great discussion on the benefits of manifests and on ways to manage
several profiles!

Ludo’.



Re: reconfigure in failure

2019-10-25 Thread pirboazo
Hi all ,

I found :-)

 When  Marius said : "did you purposefully disable substitutes?"

I understand that was a network problem.

on this VM i have two network with one without internet access, it's was
the problem.


Merci.

Pierre

On 10/24/19 8:57 PM, Marius Bakke wrote:

> Jack Hill  writes:
>
>> On Thu, 24 Oct 2019, Marius Bakke wrote:
>>
>>> Hello Pierre,
>>>
>>> pirboazo  writes:
>>>
 for several days I can no longer update my system.

 with the last guix : 4c46356
 The update fails during the check phase of the jimtcl-0.77 package.
>>> Where is this package from?  I can not find it in Guix.
>> I believe this is 
>> https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/embedded.scm?id=4c463569b7af3ee064d323691bc0284155f9a85d#n331
>>  
> Whoops, indeed.
>
> There does not seem to be any problems on the CI:
>
> https://ci.guix.gnu.org/search?query=jimtcl
>
> Pierre: can you run `guix build jimtcl` and paste the last lines of the
> output?  Also, did you purposefully disable substitutes?  Normally Guix
> would transparently download a pre-built package from the CI system.



signature.asc
Description: OpenPGP digital signature


Re: Kernel Panic

2019-10-25 Thread Raghav Gururajan

> Can you post a picture or transcript of the kernel panic?  Please also
> include your system configuration and some information about the
> hardware you are using (i.e. laptop model).

Sure, please find the information at 
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37917.

> > I was wondering whether guix uses LTS releases of linux-libre or not?
> 
> The default kernel in Guix is the latest and greatest, but you can
> choose to use one of the LTS releases that are available (4.4, 4.9, 4.14
> or 4.19) by adjusting the 'kernel' field of your system configuration.

I see.

> > Or is there any other way to prevent these kernel panic?
> 
> Try pulling the power instead of shutting down...  :-P

I ended up doing that anyway 😛

Regards,
RG.



signature.asc
Description: This is a digitally signed message part