Re: Configuring aliases in bashrc with guix home

Hi Brennan, > If the user wants to remove all the aliases from %default-bashrc and > set her own, she can run `unalias -a` in her own bashrc first. But > then she can't use the user-defined aliases mechanism from > home-bash-configuration, since that is added to the file before the > user-defined

Configuring aliases in bashrc with guix home

Hello, By default, the `home-bash-service-type` creates a .bashrc with the default bashrc (defined in %default-bashrc in gnu/system/shadow.scm), followed by user-defined aliases, followed by a user-defined bashrc file. The problem is that %default-bashrc already contains some aliases: alias ls='

Re: Edit: Need help about guix home "home-run-on-first-login-service-type"

Hi 花不见海, On Tue, Aug 06 2024, jidibinlin wrote: > Mail conent show the unhandled whitespace because you read the mail in > text way but not html. You are right that the HTML version looked fine. I also saw the HTML entity   in the "text/plain" multipart of your message. Many people here turn o

Edit: Need help about guix home "home-run-on-first-login-service-type"

For my first mail`s code block may hard to read (but it looks fine when i read it from browser), so I edit it with emacs hope can correct the whitespace home-configuration.scm ;; This "home-environment" file can be passed to

Re: Need help about guix home "home-run-on-first-login-service-type"

Marek Paśnikowski writes: > Seems like Gnus cleaned up the message for me, so I can see a bit more. > > “花不见海” <2694273...@qq.com> writes: > >> (define download-ohmyzsh-install >> (with-imported-modules ’((guix build utils)) >> #~(begin >> (use-modules (guix build utils)) >>

Edit: Need help about guix home "home-run-on-first-login-service-type"

container home-configuration.scm —— home-configuration.scm – ;; This “home-environment” file can be passed to ’guix home reconfigure’ ;; to reproduce the content of your profile. This is “symbolic”: it only ;; specifies package names. To reproduce the exact same profile, you also

Re: Need help about guix home "home-run-on-first-login-service-type"

Seems like Gnus cleaned up the message for me, so I can see a bit more. "花不见海" <2694273...@qq.com> writes: > (define download-ohmyzsh-install > (with-imported-modules '((guix build utils)) > #~(begin > (use-modules (guix build utils)) > (invoke > "curl" >

Re: Need help about guix home "home-run-on-first-login-service-type"

- home-configuration.scm > --- > > > ;; This "home-environment" file can be passed to 'guix home reconfigure' > ;; to reproduce the content of your profile.  This is "symbolic": it only > ;; specifies package names.  T

Need help about guix home "home-run-on-first-login-service-type"

;home-environment" file can be passed to 'guix home reconfigure' ;; to reproduce the content of your profile.  This is "symbolic": it only ;; specifies package names.  To reproduce the exact same profile, you also ;; need to capture the channels being used, as returned

Re: Guix days guix home discussion

Ryan Prior skribis: > On Sunday, March 17th, 2024 at 12:24 PM, Ludovic Courtès wrote: > >> ‘guix home import’ does exactly that: generate a first configuration >> that you may find necessary to tweak. Perhaps the manual should clarify >> that? > > Maybe we should

Re: Guix days guix home discussion

Hello! Ryan Prior skribis: > 1. I haven't been able to use Guix Home to migrate my home config across > machines. I've done this 3 times since I started using Guix on what I would > consider advanced-level (writing Guile, defining my own packages & manifests, > c

Re: Guix days guix home discussion

On Sunday, March 17th, 2024 at 12:24 PM, Ludovic Courtès wrote: > ‘guix home import’ does exactly that: generate a first configuration > that you may find necessary to tweak. Perhaps the manual should clarify > that? Maybe we should call it "guix home init" then? Descr

Re: Guix days guix home discussion

On Sunday, March 17th, 2024 at 12:24 PM, Ludovic Courtès wrote: > I personally try to lower the barrier for Home services, but I think few > people (if any) beyond me review Home services. > > We should expand the ‘home’ team; who’s in? I would like to contribute to Guix home, but

Re: Guix days guix home discussion

Hi! Gábor Boskovits skribis: > 1. It is rare that guix home import does the right thing (it is usually > removing some startup file customizations, does not seem to arrange to pick > up profiles, not even its own). Either we should improve it, or document > that it only give

Re: Guix days guix home discussion

On Thu, Feb 29, 2024 at 12:59:53AM +0100, Gábor Boskovits wrote: > On guix days in the guix home discussion the following observations were > made: > 1. It is rare that guix home import does the right thing (it is usually > removing some startup file customizations, does not seem t

Guix days guix home discussion

On guix days in the guix home discussion the following observations were made: 1. It is rare that guix home import does the right thing (it is usually removing some startup file customizations, does not seem to arrange to pick up profiles, not even its own). Either we should improve it, or

Re: Guix system init but for guix home

On 2023-08-04 20:40, pa...@disroot.org wrote: > Christian Miller writes: >> Basically my idea would be, that I am on the live ISO and run guix system >> init >> [...] and after that I would run guix home init home.scm /mnt or something >> like >> that. Now if

Re: Guix system init but for guix home

"(" writes: > Christian Miller writes: >> Basically my idea would be, that I am on the live ISO and run guix system >> init >> [...] and after that I would run guix home init home.scm /mnt or something >> like >> that. Now if I reboot in to the a

Re: Guix system init but for guix home

Christian Miller writes: > Basically my idea would be, that I am on the live ISO and run guix system init > [...] and after that I would run guix home init home.scm /mnt or something > like > that. Now if I reboot in to the actual system, I have my complete setup with >

Guix system init but for guix home

Hello, I am using guix home for managing my whole list of packages and dotfiles that I use. An awesome feature would be, to run something like guix home init home.scm /mnt. Basically my idea would be, that I am on the live ISO and run guix system init [...] and after that I would run guix

Re: Contributing Guix Home services

would be nice to list the > >> problems you ran into on your journey and see what we can do about it. > > > > Mostly figuring out how to test it! > > > > On my machine at home, `guix home reconfigure` can take minutes. > > Did you test with ‘guix home co

Re: Contributing Guix Home services

t, a **LOT** >> > has changed since I sent this message. Hopefully for the better! 🤞 >> >> Heh. :-) While it’s fresh on your mind, it would be nice to list the >> problems you ran into on your journey and see what we can do about it. > > Mostly figuring out how t

Re: Contributing Guix Home services

ent this message. Hopefully for the better! 🤞 > > Heh. :-) While it’s fresh on your mind, it would be nice to list the > problems you ran into on your journey and see what we can do about it. Mostly figuring out how to test it! On my machine at home, `guix home reconfigure` can take

Re: Contributing Guix Home services

Hi! Tanguy LE CARROUR skribis: > It's been quite a journey on my side! Ups. Downs. Mostly downs, though! 😅 > Thanks to Simon's unconditional technical and moral support, a **LOT** > has changed since I sent this message. Hopefully for the better! 🤞 Heh. :-) While it’s fresh on your mind, it w

Re: Contributing Guix Home services

Hi Ludo’ Quoting Ludovic Courtès (2023-04-13 22:42:56) > Tanguy LE CARROUR skribis: > > > This doesn't answer the question "how complete need a service be to make > > it to master?", though. But I've a lot of re-write to do before submitting > > patches > > anyway! > > Sorry for not noticing

Re: Contributing Guix Home services

Hi Tanguy! Tanguy LE CARROUR skribis: > This doesn't answer the question "how complete need a service be to make > it to master?", though. But I've a lot of re-write to do before submitting > patches > anyway! Sorry for not noticing earlier! There’s no formal rule, but I think that what we’ve

Re: Contributing Guix Home services

Quoting Tanguy LE CARROUR (2023-03-25 17:53:23) > My main concern now is to figure out how to implement complexe > configurations to be able to write things like: > […] > I'm not sure how to make `define-configuration` accept complexe structures. > When I look at `gnu/home/services/ssh.scm`, it see

Contributing Guix Home services

Hi Guix, For the past few… months (!?) I've been working on migrating from git+stow to a proper Guix Home setup. It's been painful, but I've learned a lot along the way. There's still a lot to be done —and a lot to learn!—, but I wanted to know what were the requirements for

Re: Guix home migration

scans for dotfiles and adds them to your guix > home is something we can aspire to. This is the intent behind ‘guix home import’. It doesn’t take care of “everything” at this moment, but at least it ensures users don’t start with a blank page. If you have ideas of things that the command sho

Guix home migration

Migrating application settings to guix-home is something we want to make really approachable. Right now it's a relatively new and little-known feature but it could quickly become one of the top use cases for Guix, as a lot of people are interested in declarative application configuratio

Re: Guix home and operating-system

I use this to browse a bug by number: --8<---cut here---start->8--- #!/usr/bin/bash # browse-bug num="$(echo "$1"|tr -cs '0123456789' ' '|tr -d ' ')" my_browser="${MY_BUG_BROWSER:-lynx}" if [ -n "$num" ];then $my_browser "https://debbugs.gnu.org/cgi/bugrep

Re: Guix home and operating-system

Hi Andrew, On +2022-07-27 11:34:14 +0300, Andrew Tropin wrote: > On 2022-07-18 11:38, Ludovic Courtès wrote: > > > Hi, > > > > Andrew Tropin skribis: > > > >> I don't remember all the details and where I stopped, but the highlevel > >> idea is following: > >> > >> - Define a system services, whi

Re: Guix home and operating-system

On 2022-07-18 11:38, Ludovic Courtès wrote: > Hi, > > Andrew Tropin skribis: > >> I don't remember all the details and where I stopped, but the highlevel >> idea is following: >> >> - Define a system services, which contains (user . home-environment) pairs. >> - Build home environments on system

Re: Guix home and operating-system

Hi, Andrew Tropin skribis: > I don't remember all the details and where I stopped, but the highlevel > idea is following: > > - Define a system services, which contains (user . home-environment) pairs. > - Build home environments on system reconfigure. > - Activate home environments on boot. Th

Re: Guix home and operating-system

irreversible changes yet. > > Meanwhile, as this is a time to clean and rationalize system declarations to > ease maintaining the various machines, I thought it would be an appropriate > time to try and start learning about guix home (I came to guix for the > reproducibility, I&#x

Guix home and operating-system

clean and rationalize system declarations to ease maintaining the various machines, I thought it would be an appropriate time to try and start learning about guix home (I came to guix for the reproducibility, I'm not going to spend hours on each machine reproducing the same user config !). To my greate

Re: guix home: error: rmdir: No such file or directory

On 2022-04-09 07:16, Feng Shu wrote: > feng@Guix ~$ LC_ALL=C ihome-reconfig > Cleaning up symlinks from previous home at > /gnu/store/m70cycn4wkhqmk85pkh8jxspbnw35sw8-home. > > guix home: error: rmdir: No such file or directory It should be fixed by this commit: https://git.s

Re: Multiple profiles with Guix Home

Hi, Am Freitag, dem 27.05.2022 um 15:52 +0300 schrieb and...@trop.in: > On 2022-05-26 01:36, Liliana Marie Prikler wrote: > > > [...] > > I can't see it anywhere in the code for Guix Home, so I > > assume generations are currently littered into the user home.  The

Re: Multiple profiles with Guix Home

chrieb Andrew Tropin: >> > >> > > On 2022-05-23 19:05, Liliana Marie Prikler wrote: >> > > > [...] >> > > > I don't think I agree with this choice.  To satisfy both my own >> > > > use case of serving profiles in different lo

Re: Multiple profiles with Guix Home

Prikler wrote: > > > > [...] > > > > I don't think I agree with this choice.  To satisfy both my own > > > > use case of serving profiles in different locations from > > > > another and another issue being raised w.r.t. configuring the > > >

Re: Multiple profiles with Guix Home

n use >> > case of serving profiles in different locations from another and >> > another issue being raised w.r.t. configuring the location of the >> > .guix-home profile, I think we should make a triple of location, >> > optional short name, and manifest (which

Re: Multiple profiles with Guix Home

nd > > another issue being raised w.r.t. configuring the location of the > > .guix-home profile, I think we should make a triple of location, > > optional short name, and manifest (which may be generated from > > packages implicitly).  WDYT? > > > > This s

Re: Multiple profiles with Guix Home

ould imply that it's purpose is to load profiles. Looks ok for me. >> 2. home-[additional-]profiles-service-type.  It will allow to build >> profiles from list of packages, optionally add a profile to >> home-profiles-paths.  It will make ~/.guix- >> home/profiles/{emacs,web

Re: Multiple profiles with Guix Home

ld > profiles from list of packages, optionally add a profile to > home-profiles-paths.  It will make ~/.guix- > home/profiles/{emacs,web,etc} > > To make it possible for other service to utilize multiple profiles, > this service will be extandable with values like that: > >

Re: RFC: Configurable placing of the ~/.guix-home symlink

Hi, EuAndreh skribis: >> It would be up to users to make sure then that whatever “home >> environment profile” they use has its startup files actually loaded. > > What do you mean by that? The user in this case must ensure that > $HOME_ENVIRONMENT/{setup-environment,on-first-login} are loaded?

Re: Multiple profiles with Guix Home

> using environment variables to control Guix, it takes advantage of the > recently added Guix Home, even if it is still a technical preview. > > So, what's the proposition? I suggest we modify home-profile-service- > type (or add a new service) such that it takes a list of

Re: RFC: Configurable placing of the ~/.guix-home symlink

> It would be up to users to make sure then that whatever “home > environment profile” they use has its startup files actually loaded. What do you mean by that? The user in this case must ensure that $HOME_ENVIRONMENT/{setup-environment,on-first-login} are loaded?

Re: Should Guix Home daemonize Shepherd?

On Sun, 15 May 2022 at 15:20, Ludovic Courtès wrote: > > The extra ‘setsid’ call LGTM, but why add an extra ‘primitive-fork’ > call? Sorry, but don't use this patch. The setsid call makes things slightly better but if Shepherd prints anything (for example, a service's status update), it will cras

Re: Should Guix Home daemonize Shepherd?

Hi, Kevin Boulain skribis: > First, Guix Home correctly tells the user Shepherd to daemonize itself > via an 'action' > (https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/home/services/shepherd.scm#n64) > but, from my understanding, the daemonization process is missi

Re: RFC: Configurable placing of the ~/.guix-home symlink

Hi, I wonder if a ‘-p’ switch similar to that of ‘guix package’ would make sense for ‘guix home’? It would be up to users to make sure then that whatever “home environment profile” they use has its startup files actually loaded. Ludo’.

Re: RFC: Configurable placing of the ~/.guix-home symlink

> [...] and with a few patches > /var/guix/profiles/per-user/bob/guix-home/ can be used instead. My thinking was focused exclusively on paths under $HOME, using $XDG_CONFIG_HOME as a fallback or something similar. Considering /var/guix/ is a reasonable alternative.

Re: RFC: Configurable placing of the ~/.guix-home symlink

Thanks for the information and for the links. I didn't know the previous history of this feature.

Re: Multiple profiles with Guix Home

Liliana Marie Prikler skribis: > Am Donnerstag, dem 05.05.2022 um 23:28 +0200 schrieb Maxime Devos: >> >> > Having to debate the semantics of a 2.5 year old blog posts should >> > not be necessary in any >> I don't think the semantics of >>

Re: Multiple profiles with Guix Home

ny packages forget SSL_CERT_DIR/SSL_CERT_FILE in the native- search-paths'. Liliana Marie Prikler schreef op vr 06-05-2022 om 23:32 [+0200]: > > > But what's more both nss-certs, glibc-locales and other packages > > > that on their own provide everything you need in a

Re: Multiple profiles with Guix Home

ght categorize as "terminal utility", but more accurately fits into "web" along with nss-certs, for example. > > But what's more both nss-certs, glibc-locales and other packages > > that on their own provide everything you need in a search path can > > alrea

Re: Multiple profiles with Guix Home

ffice’ apps, games, terminal utilities, ...). >  But what's > more both nss-certs, glibc-locales and other packages that on their own > provide everything you need in a search path can already be handled > easily with existing mechanisms of Guix Home. I haven't found any such mecha

Re: Multiple profiles with Guix Home

her packages that on their own provide everything you need in a search path can already be handled easily with existing mechanisms of Guix Home. This is not a use case that calls for multiple profiles and the fix to missing these single packages (assuming you want it expressed solely in terms of pro

Re: Should Guix Home daemonize Shepherd?

On 2022-03-12 18:49, Kevin Boulain wrote: > So, I've done some digging and I'm coming back with two findings :) > > First, Guix Home correctly tells the user Shepherd to daemonize itself > via an 'action' > (https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/ho

Re: RFC: Configurable placing of the ~/.guix-home symlink

On 2022-05-05 06:55, Attila Lendvai wrote: >> When trying to get a clean $HOME, I see that the ~/.guix-home path is fixed >> in >> the code under gnu/home/*, >> usually via (string-append (GETENV "HOME") "/.guix-home"). > > FWIW, i was also

Re: Multiple profiles with Guix Home

r them. > > As I understood it, it was introduced as ‘here's a feature proposal’. > By the following messages, I understood it as ‘this feature proposal > is to solve some issues (profile building speed, ...)’ -- i.e., a > means to a goal. Again, Andrew spoke about costs and benef

Re: Multiple profiles with Guix Home

On Thu, 05 May 2022 at 21:44, Maxime Devos wrote: >> Again, k(n log n) <= nk log nk, for k >= 1. > > Logarithms are mostly neglible though in practice? > And > > kn log nk = kn log n + kn log k ≅ kn log n > > for small 'log k'. >From a practical point of view, 1. this complexity of O(n log

Re: Multiple profiles with Guix Home

m an empty profile. I don't know what a ‘noop profile’ is but whatever, I don't think it matters here given that some other things remain. Will become clear once it is implemented I guess. > See Andrew's objection in the light of non-managed profiles. I'm not se

Re: Multiple profiles with Guix Home

> to manage as separate profiles using Guix Home, kthxbye. > > Debating things is a one-time cost, whereas potential time > savings/time increases will be a gain for all future users / a loss > for all future users.  Also, didn't you ask for comments on your > proposal, implic

Re: Multiple profiles with Guix Home

d the >> latter optimisation will help everyone and not only Guix Home users. > > If that's what you want then go ahead and improve union-build. Unless > you add some serious waste that eats up thousands of cycles if supplied > with no more than three packages, I doubt it h

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 22:27 [+0200]: > Am Donnerstag, dem 05.05.2022 um 22:14 +0200 schrieb Maxime Devos: > > Liliana Marie Prikler schreef op do 05-05-2022 om 20:24 [+0200]: > > > > GUIX_LOCPATH [note: I corrected this now] > > > Does this affect applications other than

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 22:27 [+0200]: > and afaik does not have anything to > do with other i18n, It is needed to get UTF-8 file name decoding in Guile, IIUC. Greetings, Maxime. signature.asc Description: This is a digitally signed message part

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 22:14 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op do 05-05-2022 om 20:24 [+0200]: > > > GUIX_LOCPATH [note: I corrected this now] > > Does this affect applications other than Guix itself? > > Yes, every glibc-using package.  It's where glibc look

Re: Multiple profiles with Guix Home

es to be actually used, instead of the system's certificates (except for the GNUtls just-use-/etc/ssl/certs limitation for which there's a WIP patch to be integrated, and certifi packages for which there's a separate Guix issue). Especially since ‘Guix Home’ is about _home_, not _system

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 21:42 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op do 05-05-2022 om 21:17 [+0200]: > > And would you look at this, my proposed solution would make > > ~/.guix-home a profile that can be managed by `guix package' > >

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 20:24 [+0200]: > > GUIX_LOCALEPATH > Does this affect applications other than Guix itself? Yes, every glibc-using package. It's where glibc looks for glibc locales. Greetings, Maxime. signature.asc Description: This is a digitally signed messag

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 21:08 [+0200]: > And you're not taking into account my time cost of debating you when I > already have manifests split across many files that I want to manage as > separate profiles using Guix Home, kthxbye. Debating things is a

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 21:08 [+0200]: > > And the O(n)=O(1) doesn't seem quite right here to me -- individual > > profiles will be smaller and hence faster, but there will also be > > _more_ profiles.  Maybe if you sum over the profiles, you'll get to > > O(n) instead of

Re: Multiple profiles with Guix Home

t; > deleting a profile that has the same basic properties as ~/.guix- > > profile or ~/.guix-home.  Shell profiles are not that. > > ... ~/.guix-profile and ~/.guix-home profiles do not have the same > basic properties?  ~/.guix-profile is to be managed imperatively with > "

Re: Multiple profiles with Guix Home

here.  > > > By profile management I mean creating, updating, modifying and > > > deleting a profile that has the same basic properties as ~/.guix- > > > profile or ~/.guix-home.  Shell profiles are not that. > > > > ... ~/.guix-profile and ~/.guix-home profiles do

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 20:00 +0200 schrieb Maxime Devos: > That's one method for faster builds, but you'll get even faster > builds by also making union-build O(n lg n) instead of O(n²), and the > latter optimisation will help everyone and not only Guix Home users.

Re: Multiple profiles with Guix Home

On Thu, 05 May 2022 at 18:31, Liliana Marie Prikler wrote: > For small n, > O(n) = O(1). I guess, you meant that, for small n, the time of O(n) is dominated by the constant. Note that, obviously, the real time depends also on the consta

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 19:29 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op do 05-05-2022 om 19:19 [+0200]: > > My assumption here is that the split profiles are still "complete", > > hence thematic profiles.  A thematic profile could for instance > > consist of all your e

Re: Multiple profiles with Guix Home

ing union-build O(n lg n) instead of O(n²), and the latter optimisation will help everyone and not only Guix Home users. And the O(n)=O(1) doesn't seem quite right here to me -- individual profiles will be smaller and hence faster, but there will also be _more_ profiles. Maybe if you sum over

Re: Multiple profiles with Guix Home

h every other profile. enabled? #f provides a way to specify that this is what you desire. Further, this is not management. The profiles are still built and updated using Guix Home -- unless you don't specify any manifest, in which case they aren't. The only degenerate case here wo

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 19:19 [+0200]: > My assumption here is that the split profiles are still "complete", > hence thematic profiles.  A thematic profile could for instance consist > of all your emacs packages, in which case only emacs packages are added > into the union

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 19:27 [+0200]: > > Multiple profiles can already be managed in a declarative manner: > > "guix shell -m manifest.scm".  I'd say that Guix Home adds some > > impurity (‘guix home reconfigure’ installs/removes/re

Re: Multiple profiles with Guix Home

Maxime Devos schreef op do 05-05-2022 om 18:42 [+0200]: > Multiple profiles can already be managed in a declarative manner: > "guix > shell -m manifest.scm". Nevermind, I forgot about > Admittedly, having a disabled profile is not that useful in the > context > of guix shell existing, but there m

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 19:21 [+0200]: > Am Donnerstag, dem 05.05.2022 um 18:33 +0200 schrieb Maxime Devos: > > > Manifests are scheme code, you can put as many of them into a file > > > as you want.  For the interface to Guix commands you have to return > > > one at a tim

Re: Multiple profiles with Guix Home

features (e.g. faster profile building) can be implemented more > > > generally (not Guix Home-exclusive), without manual > > > configuration. > > I think you're misunderstanding cause and effect here.  For small > > n, O(n) = O(1). > > I'm not sure what

Re: Multiple profiles with Guix Home

ink it is. > > Exactly: "guix shell" and the like (currently) only accept a single > manifest.   That's not even true. The manifest flag is repeatable. > So at least currently (with the exception of "guix install") > and guix home, profiles correspond to m

Re: Multiple profiles with Guix Home

sh", without any shell wrappers. Am Donnerstag, dem 05.05.2022 um 13:05 +0200 schrieb Maxime Devos: > > Liliana Marie Prikler schreef op zo 03-10-2021 om 12:50 [+0200]: > > > On init/reconfigure, `guix home' creates/updates all > > > home-profiles > > >

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 18:31 [+0200]: > > I am not debating any legitimacy ( is not some > > government), I am discussing the reasons, and whether some of the > > features (e.g. faster profile building) can be implemented more > > generally

Re: Multiple profiles with Guix Home

eturn one at > a time, sure, but that's not the limitation you think it is. Exactly: "guix shell" and the like (currently) only accept a single manifest. So at least currently (with the exception of "guix install") and guix home, profiles correspond to manifests corresp

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 12:53 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op do 05-05-2022 om 06:25 [+0200]: > > > > across several manifests, that could easily fit into separate > > > > profiles if Guix didn't make working with those an absolute > > > > pain. > > > > > >

Re: Multiple profiles with Guix Home

> > worth.  Just trust me that there are people, like myself, who > > *want* to split them. > > I am not debating any legitimacy ( is not some > government), I am discussing the reasons, and whether some of the > features (e.g. faster profile building) can be implemented mo

Re: Multiple profiles with Guix Home

Am Donnerstag, dem 05.05.2022 um 13:05 +0200 schrieb Maxime Devos: > Liliana Marie Prikler schreef op zo 03-10-2021 om 12:50 [+0200]: > > On init/reconfigure, `guix home' creates/updates all home-profiles > > which have a home-profile-manifest that is not #f and links them to

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op do 05-05-2022 om 06:25 [+0200]: > > > across several manifests, that could easily fit into separate > > > profiles if Guix didn't make working with those an absolute pain. > > > > ... but separate profiles = separate manifests (except when using > > "guix install")

Re: Multiple profiles with Guix Home

lit them. I am not debating any legitimacy ( is not some government), I am discussing the reasons, and whether some of the features (e.g. faster profile building) can be implemented more generally (not Guix Home-exclusive), without manual configuration. If some reasons remain (e.g. tidyness of

Re: Multiple profiles with Guix Home

Liliana Marie Prikler schreef op zo 03-10-2021 om 12:50 [+0200]: > On init/reconfigure, `guix home' creates/updates all home-profiles > which have a home-profile-manifest that is not #f and links them to the > appropriate locations.  It also creates a shell startup script that

Re: Multiple profiles with Guix Home

ing dependencies. > > I can also imagine more fine grained splitting, for example test and > documentation dependencies in separate profiles or even unit test and > integration test dependencies split into separate profiles. > > At the moment I see no possibilities for even the "easy&

Re: RFC: Configurable placing of the ~/.guix-home symlink

> When trying to get a clean $HOME, I see that the ~/.guix-home path is fixed in > the code under gnu/home/*, > usually via (string-append (GETENV "HOME") "/.guix-home"). FWIW, i was also surprised that the default is not something under ~/.config/guix/ -- • attila

Re: RFC: Configurable placing of the ~/.guix-home symlink

On 2022-04-29 11:44, EuAndreh wrote: > Hi Guix! > > When trying to get a clean $HOME, I see that the ~/.guix-home path is fixed in > the code under gnu/home/*, > usually via (string-append (getenv "HOME") "/.guix-home"). > > I want to propose a configurabl

Re: Multiple profiles with Guix Home

ases I have seen mentioned seem > like they can be addressed without extra configuration or records or > manual steps and independently of Guix Home: slow union-build -> make > it faster (linear or at least O(n lg n)), per-project packages -> use > "guix shell -m manifest.scm", t

Re: Multiple profiles with Guix Home

ne is not satisfied, profile building is still occassionally a bit on the slow side. What is my concern, is that most use cases I have seen mentioned seem like they can be addressed without extra configuration or records or manual steps and independently of Guix Home: slow union-build -> make it f

Re: Multiple profiles with Guix Home

Particularly w.r.t. evaluating search paths across multiple profiles, we already have an instance of that even without allowing users to specify multiple profiles easily. Thus we not only can think about them as different matters, we should even derive solutions that work outside the context of guix home! Cheers

  1   2   3   >