aboutsummaryrefslogtreecommitdiff
path: root/hosts/aptos/default.nix (unfollow)
Commit message (Collapse)AuthorFilesLines
2022-09-23fix(hosts): the WM manager needs to be in home.nixFranck Cuny1-2/+1
2022-09-22ref(home-manager): don't use home-manager when building the hostFranck Cuny1-8/+1
When rebuilding the host (through `nixos-rebuild switch --flake`) I don't want to rebuild also my home-manager configuration. I want these to be two different steps. I rebuild the home-manager configuration more frequently and it's a waste of time and CPU to rebuild the world every time. This is a pretty large refactoring: - move checks back into the flake: if I modify a check, the configuration for `pre-commits` is not regenerated, as the file with the checks is not monitored with `direnv` (I could probably configure it for it, but not now) - remove `home.nix` from the host level configuration - introduce a `mkHomeManagerConfiguration` function to manage the different user@host - fix a warning with the rust overlay
2022-07-02fix(new-lines): add or remove new lines where neededFranck Cuny1-1/+0
The pre-commit hook for new lines reported and correct a number of issues, so let's commit them now and after that we ca enable the hook for the repository. Change-Id: I5bb882d3c2cca870ef94301303f029acfb308740 Reviewed-on: https://cl.fcuny.net/c/world/+/592 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
2022-06-10fix(fmt): correct formatting for all nix filesFranck Cuny1-1/+2
This was done by running `nixpkgs-fmt .'. Change-Id: I4ea6c1e759bf468d08074be2111cbc7af72df295 Reviewed-on: https://cl.fcuny.net/c/world/+/404 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
2022-06-09ref(profiles): get rid of all the profilesFranck Cuny1-1/+7
All the modules that are setup by the profiles are now managed at the host level. This simplify some configuration, and will make it easier to adjust things at the host instead of trying to squeeze everything into profiles. This will also help the refactoring later, when I'll split nixos and home-manager configuration. Change-Id: I17ffda8b0b5d15bf1915c6fae5030380523d74b5 Reviewed-on: https://cl.fcuny.net/c/world/+/297 Reviewed-by: Franck Cuny <franck@fcuny.net>
2022-06-09ref(GTK): remove the profile for GTKFranck Cuny1-0/+3
All the configuration is done at the host level. Change-Id: Ib5ef71ea7955f6872fb08f576e48b24a70600693 Reviewed-on: https://cl.fcuny.net/c/world/+/296 Reviewed-by: Franck Cuny <franck@fcuny.net>
2022-04-24backups: do backups for the laptopFranck Cuny1-0/+1
From the laptop I only backup /home/fcuny, as the rest should be straightforward to rebuild with nix. I run that backup as my own user, since I need my ssh key to use the remote repository (which is on the NAS). I also need a new secret for it (I might have been able to use `pass' for this, but well, that's easy enough). For the NAS, I update the list of directories to backup to include home, this will be on the systems backup.
2022-04-08hosts: rename hardware-configuration to hardwareFranck Cuny1-1/+1
2022-04-08aptos: consume the new profilesFranck Cuny1-3/+2
aptos is now using the new home-manager setup.
2022-04-06refactor boot configuration to a moduleFranck Cuny1-2/+0
We don't need the previous `hosts/common/system` configs anymore, as everything has been moved out. We keep some boot configuration for carmel in the host configuration for now, but I need to check why I don't have similar settings for tahoe (since I also need to unlock the host remotely).
2022-04-05refactor intel related configurationFranck Cuny1-1/+0
2022-04-05create a profile for laptopFranck Cuny1-1/+1
2022-04-05network: move tailscale in modulesFranck Cuny1-20/+1
Move the networking configuration for the hosts to its own file.
2022-04-05sound: add a new moduleFranck Cuny1-0/+1
This is the start of yet another refactoring of the configuration. Sound configuration is moving to a module, and we enable it as needed at the host level. It takes care of configuring pipewire and install the packages needed too. This module is applied to the laptop and the desktop.
2022-03-12containers: enable dockerd and containerd on aptosFranck Cuny1-0/+11
2022-03-05tailscale: add tailscale to the laptop (aptos)Franck Cuny1-0/+1
2022-03-04aptos: nixfmtFranck Cuny1-17/+10
2022-03-02wireguard: drop configuration for aptosFranck Cuny1-7/+0
This is done in the module itself.
2022-02-27aptos: use the hardware module for xps9300Franck Cuny1-0/+1
2022-02-24agenix: store wireguard key in persistent storageFranck Cuny1-0/+7
The key was created under /run/agenix, which is wiped out after a reboot. The key being absent prevents the wireguard interface to come up. Store the key somewhere persistent to prevent this to happen.
2022-02-21wireguard: module and peers configurationsFranck Cuny1-0/+1
Add a new module to automatically configure the peers for wireguard. The module needs a configuration file (in `configs/wireguard.toml`) which lists all the peers, their IP and and their public keys. The secret keys is encrypted as a secret with agenix. There's some initial documentation on how to use this setup.
2022-02-21aptos: switch to iwd and enable thermaldFranck Cuny1-3/+5
Replace wpa_supplicant with iwd (I prefer that daemon and the associated tool, iwctl). Enable thermald for managing power.
2022-02-21hosts: add aptosFranck Cuny1-10/+4
aptos is my laptop (dell xps 13'). This adds the initial configuration for it.
2022-02-18boot: reorganize and add commentsFranck Cuny1-11/+8
Most of the options for booting are common to all hosts.
2022-02-13hosts: load igb kernel module for initrdFranck Cuny1-0/+1
We need to load the driver for the NIC.
2022-02-13hosts: unlock disks remotely on bootFranck Cuny1-16/+4
Enable a SSH daemon in initrd, with our keys, so we can unlock remotely the disk on reboot.
2022-02-13hosts: remove configuration for ssh keys in initrdFranck Cuny1-1/+0
This is not working yet, we will figure this out later.
2022-02-13hosts: decrypt root disk via ssh on bootFranck Cuny1-0/+21
2022-02-12hosts: import common modulesFranck Cuny1-2/+1
Update the `mkSystem` function to include the proper common module, and fix the path to import the common configuration for a desktop into `carmel`.
2022-02-12hosts: centralize network configurationFranck Cuny1-10/+15
2022-02-10hosts: set hostname from configurationFranck Cuny1-6/+2
2022-02-10fix a few errorsFranck Cuny1-0/+1
2022-02-10nix: fix a bunch of stuffFranck Cuny1-1/+0
2022-02-09hosts: use systemd-resolved on carmelFranck Cuny1-0/+6
2022-02-09hosts: remove usersFranck Cuny1-1/+0
2022-02-09hosts: remove / clean codeFranck Cuny1-44/+5
There's a lot of commented stuff I don't need, and move things that are configured in the host into modules, which will improve re-usability and readability of this configuration.
2022-02-09home-manager: simplify the configurationFranck Cuny1-0/+3
I'm still struggling with documentation, and I'd rather have something simple that works rather than smart and does not work. The configuration for the host imports the modules that are relevant to that host (in the case of carmel, desktop and systems). For the home-manager, I create a profile "desktop" that contains stuff related to a desktop (i3, etc), and it includes the module "common" that contains stuff that I want on any machines (so that in the future, for a machine that is a server, the home manager will only import "common").
2022-02-08hosts: remove unneeded commentsFranck Cuny1-6/+0
2022-02-08systems: move some packages out of host configFranck Cuny1-5/+0
2022-02-08carmel: use DHCP on the wireless interfaceFranck Cuny1-1/+2
2022-02-08xserver: initial configurationFranck Cuny1-8/+0
Enable it for the desktop.
2022-02-08systems: default configuration for all systemsFranck Cuny1-3/+0
2022-02-07carmel: initial host configurationFranck Cuny1-0/+96
Initial configuration for the desktop (carmel).