From 85fd6da7d9a148a3b1f577f51cefe4df1585cebf Mon Sep 17 00:00:00 2001 From: Daniel Langbein Date: Mon, 28 Aug 2023 17:52:35 +0200 Subject: [PATCH] oh-my-zsh --- yodaTab/home-manager.nix | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/yodaTab/home-manager.nix b/yodaTab/home-manager.nix index b83645c..468d5f3 100644 --- a/yodaTab/home-manager.nix +++ b/yodaTab/home-manager.nix @@ -34,6 +34,7 @@ in # defaultCacheTtl = 1800; #}; +# TODO: See history.path below. # xdg = { # enable = true; # #dataHome = "${config.xdg.home.homeDirectory}/.local/share"; @@ -46,9 +47,20 @@ in #update = "sudo nixos-rebuild switch"; }; history.size = 1000; - #history.path = "${config.xdg.dataHome}/.histfile"; - #history.ignoreDups = true; + history.ignoreDups = true; #history.ignoreAllDups = true; + + # TODO: + # Currently, `config` is my NixOS config. However, I want to access Home Manager's `config`. + # I could change home-manager.users.yoda to be a function and take config as an argument there. + #history.path = "${config.xdg.dataHome}/.histfile"; + + oh-my-zsh = { + enable = true; + plugins = [ "git" "sudo" ]; + #theme = "robbyrussell"; + theme = "agnoster"; + }; }; }; }