Re: attempt to create a profile

2023-02-07 Thread Csepp


Gottfried  writes:

> [[PGP Signed Part:Undecided]]
> Hi Zimoun,
>
>>  What does it mean in my case?
>>> It means that you can activate the profile containing the Musescore
>>> package using
>>>  source /home/gfp/Projekte/Musescore/etc/profile
>>> or either
>>>  guix shell -p /home/gfp/Projekte/Musescore
>>> Does it make sense?
>
> No
>
>
> This was the output:
>
> gfp@Tuxedo ~$ export LC_ALL=C
>
> gfp@Tuxedo ~$  source /home/gfp/Projekte/Musescore/etc/profile
> -bash: /home/gfp/Projekte/Musescore/etc/profile: No such file or directory

This should have been:
gfp@Tuxedo ~$  source /home/gfp/Projekte/Musescore/guix-profil/etc/profile

Zimoun left out the guix-profil part.

> gfp@Tuxedo ~$ guix shell -p /home/gfp/Projekte/Musescore

Again, this should be:
gfp@Tuxedo ~$ guix shell -p /home/gfp/Projekte/Musescore/guix-profil

> What does: [env] mean?

It means you are in a guix shell.  In the olden this was called guix
environment, which is where "env" comes from.  Guix has some Bash
customizations built in that make it detect if GUIX_ENVIRONMENT is set
and modifies the shell prompt.



Re: attempt to create a profile

2023-02-07 Thread Gottfried

Hi Zimoun,


 What does it mean in my case?


It means that you can activate the profile containing the Musescore package 
using

 source /home/gfp/Projekte/Musescore/etc/profile

or either

 guix shell -p /home/gfp/Projekte/Musescore

Does it make sense?


No


This was the output:

gfp@Tuxedo ~$ export LC_ALL=C

gfp@Tuxedo ~$  source /home/gfp/Projekte/Musescore/etc/profile
-bash: /home/gfp/Projekte/Musescore/etc/profile: No such file or directory

gfp@Tuxedo ~$ guix shell -p /home/gfp/Projekte/Musescore
hint: Consider passing the `--check' option once to make sure your shell 
does not clobber environment variables.


guix shell: warning: no packages specified; creating an empty environment

gfp@Tuxedo ~ [env]$


What does: [env] mean?


thanks for help


--
Kind regards

Gottfried






Am 07.02.23 um 12:03 schrieb zimoun:

Hi,

On Tue, 07 Feb 2023 at 10:06, Gottfried  wrote:


I created a profile with one package "Musescore" in:

home/gfp/Projekte/Musescore


[...]


..

I should get into my profile with:

source path/to/some-profile/etc/profile
 …do some stuff…
 exit

Instead, you can run
  guix shell -p path/to/some-profile
  …do some stuff…
  exit
..

What does it mean in my case?


It means that you can activate the profile containing the Musescore package 
using

 source /home/gfp/Projekte/Musescore/etc/profile

or either

 guix shell -p /home/gfp/Projekte/Musescore

Does it make sense?

Cheers,
simon







OpenPGP_0x61FAF349C9FB7F94.asc
Description: OpenPGP public key


OpenPGP_signature
Description: OpenPGP digital signature


Re: attempt to create a profile

2023-02-07 Thread zimoun
Hi,

On Tue, 07 Feb 2023 at 10:06, Gottfried  wrote:

> I created a profile with one package "Musescore" in:
>
> home/gfp/Projekte/Musescore

[...]

> ..
>
> I should get into my profile with:
>
> source path/to/some-profile/etc/profile
> …do some stuff…
> exit
>
> Instead, you can run
>  guix shell -p path/to/some-profile
>  …do some stuff…
>  exit
> ..
>
> What does it mean in my case?

It means that you can activate the profile containing the Musescore package 
using

source /home/gfp/Projekte/Musescore/etc/profile

or either

guix shell -p /home/gfp/Projekte/Musescore

Does it make sense?

Cheers,
simon



Re: attempt to create a profile

2023-02-07 Thread Gottfried

Hi Simon,

I didn’t manage yet to get into my profile.
..
I created a profile with one package "Musescore" in:


home/gfp/Projekte/Musescore

in the directory "Musescore" I have got 2 directories:

"guix-profil" and "guix-profil-1-link"

and

one file:

"guix-profil.lock" (0 Bytes)

..

I should get into my profile with:

source path/to/some-profile/etc/profile
   …do some stuff…
   exit

Instead, you can run
guix shell -p path/to/some-profile
…do some stuff…
exit
..

What does it mean in my case?



Kind regards

Gottfried



Am 06.02.23 um 18:21 schrieb Simon Tournier:

Hi,

On sam., 04 févr. 2023 at 23:36, Kyle Andrews  wrote:


 guix shell -p path/to/some-profile/etc/profile


This command is incorrect and it should read instead,

 guix shell -p path/to/some-profile

but anyway, it was the idea. :-)



Is it possible to use guix shell to activate multiple existing profiles
in a particular order to explicitly test for incompatibilities when
combining profiles?


Well, I am not aware about a way to compose some profiles with “guix
shell”.  Indeed, it should be possible, IMHO.  But I have not checked if
it is technically possible.  Maybe it is already. :-)



In conclusion, I'm a bit surprised that activating multiple profiles at
once is so easily found and recommended in the cookbook. It seems to me
like there are many underemphasized gotchas with respect to
reproducibility and usability which come from it and as far as I can
tell, the main developers of Guix do not use it that way. If it is going
to be recommended as atleast a possibility for advanced users, then it
would be nice to be able to formally test that usage through ~guix shell~.


I am using multiple profiles and I barely hit collisions.  Given one
specific revision of Guix, collisions should not be possible – it means
something is wrong somewhere with package definition; although, maybe it
is impossible to avoid some collisions with large number of packages,
anyway. :-)

Most of the time, collisions happen when the profile are coming from
different revision of Guix.  And try to combine several profiles from
different revision is, IMHO, some source of troubles impossible to
solve.

That’s said, yes I would also like being able to combine several
profiles and also extend the result.


Cheers,
simon


--


OpenPGP_0x61FAF349C9FB7F94.asc
Description: OpenPGP public key


OpenPGP_signature
Description: OpenPGP digital signature