profiles/research: move as foo-dogsquared's user module

Because in practice, this is only used by it.
This commit is contained in:
Gabriel Arazas 2023-12-13 11:10:02 +08:00
parent cca53b9a46
commit 65cf940db7
No known key found for this signature in database
GPG Key ID: ADE0C41DAB221FCC
4 changed files with 8 additions and 7 deletions

View File

@ -22,7 +22,6 @@ let
./profiles/dev.nix
./profiles/editors.nix
./profiles/i18n.nix
./profiles/research.nix
];
in
modules

View File

@ -17,6 +17,7 @@
git.enable = true;
keys.gpg.enable = true;
keys.ssh.enable = true;
research.enable = true;
shell.enable = true;
terminal-multiplexer.enable = true;
};
@ -63,7 +64,6 @@
video.enable = true;
documents.enable = true;
};
research.enable = true;
};
home.stateVersion = "23.11";

View File

@ -8,6 +8,7 @@
./programs/email.nix
./programs/git.nix
./programs/keys.nix
./programs/research.nix
./programs/shell.nix
./programs/terminal-multiplexer.nix

View File

@ -1,21 +1,22 @@
{ config, lib, pkgs, ... }:
let cfg = config.profiles.research;
let
userCfg = config.users.foo-dogsquared;
cfg = userCfg.programs.research;
in {
options.profiles.research.enable =
lib.mkEnableOption "my usual toolbelt for research";
options.users.foo-dogsquared.programs.research.enable =
lib.mkEnableOption "foo-dogsquared's usual toolbelt for research";
config = lib.mkIf cfg.enable {
home.packages = with pkgs; [
anki # Rise, rinse, and repeat.
archivebox # The ultimate archiving solution created by a pirate!
#archivebox # The ultimate archiving solution created by a pirate!
curl # The general purpose downloader.
fanficfare # It's for the badly written fanfics.
gallery-dl # More potential for your image collection.
internetarchive # All of the potential vintage collection of questionable materials at your fingertips.
kiwix # Offline reader for your fanon wiki.
monolith # Archive webpages into a single file.
newsboat # Reading news easily on the command line?
qbittorrent # The pirate's toolkit for downloading Linux ISOs.
sherlock # Make a profile of your *target*.
wget # Who would've think a simple tool can be made for this purpose?