1
Fork 0
Personal nixos / home-manager configurations
Find a file
2023-02-15 11:28:43 +01:00
dotfiles Small latex snippet imrpovement 2023-02-15 11:28:43 +01:00
home/adrielus Small latex snippet imrpovement 2023-02-15 11:28:43 +01:00
hosts/nixos Small latex snippet imrpovement 2023-02-15 11:28:43 +01:00
modules Gdm setup, attempted to set up grub theming 2023-02-09 23:55:36 +01:00
overlays Started rewriting my nixos config 2022-12-28 13:27:18 +01:00
pkgs Rosepine theme! 2023-01-22 01:22:38 +01:00
scripts Deleted some useless stuff + fixed a typo 2023-01-10 03:11:44 +01:00
.gitignore Added a basic readme 2023-01-11 10:19:49 +01:00
flake.lock A few changes: 2023-02-09 06:59:58 +01:00
flake.nix Changed the theming system to allow for a default global theme! 2023-02-09 07:31:10 +01:00
nixpkgs.nix Started rewriting my nixos config 2022-12-28 13:27:18 +01:00
README.md Gdm setup, attempted to set up grub theming 2023-02-09 23:55:36 +01:00
secrets.nix A billion changes, but I'm finally on this new config! 2023-01-12 20:49:08 +01:00
shell.nix Started rewriting my nixos config 2022-12-28 13:27:18 +01:00
stylua.toml Rosepine theme! 2023-01-22 01:22:38 +01:00

Welcome to the Satellite

In case you are not familiar with nix/nixos, this is a collection of configuration files which build my entire system in a declarative manner. The tool used to configure the global system is called nixos, and the tool used to configure the individual users is called home-manager.

Features this repository include:

  • Consistent base16 theming using base16-nix
  • Agenix & homeage based secret management
  • Sets up all the apps I use, including git, neovim, fish, tmux, starship, xmonad, rofi, polybar, discord, zathura, alacritty & more.

In the future I might start using any of the other cool nix-based tools, like:

The current state of this repo is a refactor of my old, messy nixos config, based on the structure of this template.

Hosts

This repo's structure is based on the concept of hosts - individual machines configured by me. I'm naming each host based on things in space/mythology (they are the same picture). The hosts I have right now are:

Points of interest

Here's some things you might want to check out:

Well, this does not include links to every plugin I used for every program here, you can see more details in the respective configurations