anchor.diff:      };
   
     };
  -
  -  # doesn't work for some reason
  -  #systemd.user.services.xbindkeys = {
  -  #  description = "XBindKeys";
  -  #  serviceConfig = {
  -  #    #Type = "simple";
  -  #    ExecStart = "${pkgs.xbindkeys}/bin/xbindkeys --nodaemon --file /home/.xbindkeysrc";
  -  #    ExecStop = "${pkgs.procps}/bin/pkill xbindkeys";
  -  #    Restart = "on-abort";
  -  #  };
  -  #  wantedBy = [ "graphical.target" ];
  -  #};
   
     # Define a user account. Don't forget to set a password with ‘passwd’.
     users.users.tim = {
  
positive.code:     yubikey-personalization
      yubikey-personalization-gui
      gnome3.geary
      #qt5ct
      breeze-icons
      audacity
  
  
negative.code:     ];
  
    nixpkgs.config.allowUnfree = true;
  
    # Use the systemd-boot EFI boot loader.
    boot.loader.systemd-boot.enable = true;
  