On Thu, 19 Dec 2019 at 17:31, Ludovic Courtès wrote: > The hard question then becomes: what do we call it? I vote against > abbreviations. :-) "guix shell"? Cheers, simon