Subject: Re: bug#56030: The guix pull profile is too big

From: "(" <[email-masked]>
Date: Thu, 21 Jul 2022 17:13:54 +0100

Okay, another (hopefully more coherent) proposal: Patch in a

```
extern char *__guix_shell_path;
```

And then, we use a linker script to provide the definition of
__guix_shell_path at linking time. (Unfortunately there's no way to do
this with a flag, afaik...)

    -- (