Hello, > trick ensures that we get the system that current at the time of the > monadic bind, whereas your change get the system and target that are > current at the time of the call. > > It’s a terrible pitfall, I know… Ok, then, I used the same trick to read %current-target-system at bind time. With this trick, target is set to the value passed to the guix system command (it is #f otherwise). WDYT? Mathieu