On 25/11/24 17:08, Sergio Pastor Pérez wrote:
> Hello Luis!
>
> On 11/25/24 14:44, Luis Felipe wrote:
>> Where does the "use" command come from? My searching for it hasn't 
>> been productive...
>
> It comes from Direnv's standard library, it passes the arguments to 
> `guix shell`. Please take a look at the library's man page[1].
>
> [1]: https://direnv.net/man/direnv-stdlib.1.html#codeuse-guix-code

Oh, okay, thank you Sergio :)