I used to have Alacritty installed, but opted to just use xfce4-terminal instead.
So I removed alacritty from my environment.systemPackages, and did “sudo nixos-rebuild switch --upgrade” and “sudo nix-collect-garbage -d” and have done this several times, and have rebooted several times as well. I also ran these commands as user, in case that somehow would do anything.
I am suspecting home manager is to blame here. At one point, I used home manager, and had alacritty enabled there. I decided to not use home manager anyway, and removed it from my configuration and from my channels. But it seems like Alacritty is still being installed (or left) by home manager.
When I run “sudo find / -iname alacritty”, this is the output:
find: ‘/run/user/1001/gvfs’: Permission denied
Home manager shows up despite not being in use anymore. Have I somehow not uninstalled it correctly? Everything else gets removed correctly when I remove it from the configuration and rebuild, but for some reason Alacritty refuses to be uninstalled.