jafonsor

Thanks for your answer. I am assuming the error is about the`/etc/nixos/configuration.nix` in the machine that is the target of the deploy. The field is already set (` boot.loader.grub.device =...

@asymmetric, Where should I set the `‘fileSystems’`? I'm trying to figure out a solution. I ran the command with `--show-trace` and got this: ``` building all machine configurations... error: while...

I guess `fileSystems` is set on /etc/nixos/hardware-configuration.nix: ``` [root@nixos:/etc/nixos]$ cat hardware-configuration.nix # Do not modify this file! It was generated by ‘nixos-generate-config’ # and may be overwritten by future invocations....

Oh boy. I was totally clueless. Thanks for your help. Just out of curiosity, is it possible to deploy two services to the same NixOS machine without having them to...

Thanks for you quick response. I'll try that.

I'm using the reflex-project-skeleton to test this. After some changes on the reflex-platform/default.nix I got this: ``` [nix-shell:/out]# cd reflex-project-skeleton/ [nix-shell:/out/reflex-project-skeleton]# nix-build -A ghcLinuxAarch64.backend error: attribute 'ghcLinuxAarch64' in selection path...

Oh. My bad. On the nixpkgsCross I should have done this: ``` aarch64-multiplatform = nixpkgsFunc (nixpkgsArgs // { crossSystem = lib.systems.examples.aarch64-multiplatform; }); ``` and then on the reflex-platform project file...

Wait a second @matthewbauer . I don't want to create a shell for ghcLinuxAarch64. Why can't I compile to raspberry pi like I compile to android without creating a specific...