On Saturday, December 6th, 2025 at 21:15, Ludovic Courtès <[email protected]> wrote:
> > > Hi, > > Mario Calcagno [email protected] skribis: > > > -------------------------------8<----------------------------- > > (service home-zsh-service-type > > (home-zsh-configuration > > (environment-variables '(("PROVA" . "Ciao, guix")))) > > ----------------------------->8------------------------------ > > and in both cases I have a non functional shell: > > - the packages that should be part of the profile aren't accessible > > - for some reason I can't use backspace to delete characters > > - and I get this error: "/home/mario/.config/zsh/.zprofile:source:2: no > > such file or directory: /etc/profile" > > > This is an error you get in ‘guix home container’ or after deploying > with ‘guix home reconfigure’? > I get the error in 'guix home container', I still didn't try to deploy with 'guix home reconfigure'. > In the former case, we should arrange so that ‘guix home container’ > provides /etc/profile. But either way, the default .zprofile should > gracefully cope with the lack of /etc/profile. > > (I don’t use Zsh though so that’s pretty much the extent of what I > understand.) > > Thanks, > Ludo’. Honestly I don't really know why it can't find /etc/profile, if I use bash as the shell with (home-bash-service-type) there are no errors and everything works correctly. I'm going to replace zsh with bash, it shouldn't be a problem Thanks, Mario
