From b2c667861484db06e770c517f1bb105f49c8e003 Mon Sep 17 00:00:00 2001
From: Spotlight <spotlight@joscomputing.space>
Date: Thu, 4 May 2023 16:25:17 -0500
Subject: [PATCH] Initial migration of zsh config to Nix

---
 config/home-manager/home.nix | 51 ++++++++++++++++++++++++++++++++++++
 1 file changed, 51 insertions(+)

diff --git a/config/home-manager/home.nix b/config/home-manager/home.nix
index fccbb3e..71f0ec6 100644
--- a/config/home-manager/home.nix
+++ b/config/home-manager/home.nix
@@ -23,6 +23,57 @@
     vim
   ];
 
+  # Very opinionated :)
+  programs.zsh = {
+    enable = true;
+
+    # We want several options:
+    autocd = true;
+    history = {
+      ignoreDups = true;
+      ignoreSpace = true;
+    };
+
+    # Common plugins.
+    enableAutosuggestions = true;
+    enableCompletion = true;
+    enableSyntaxHighlighting = true;
+    plugins = with pkgs; [
+      {
+        name = "p10k";
+        src = fetchFromGitHub {
+          owner = "romkatv";
+          repo = "powerlevel10k";
+          rev = "v1.18.0";
+          sha256 = "IiMYGefF+p4bUueO/9/mJ4mHMyJYiq+67GgNdGJ6Eew=";
+        };
+        file = "powerlevel10k.zsh-theme";
+      }
+      # TODO: expand-multiple-dots.zsh should be bundled alone.
+      {
+        name = "exand-multiple-dots";
+        src = "/home/spotlight/.dotfiles/zsh";
+        file = "expand-multiple-dots.zsh";
+      }
+    ];
+    # The .p10k.zsh config is beneath.
+  };
+
+
+  # We must source the p10k config.
+  # TODO: We should manage the config via programs.zsh.plugins.
+  home.file.".p10k.zsh".source = "/home/spotlight/.dotfiles/p10k.zsh";
+  programs.zsh.initExtra = ''
+    source $HOME/.p10k.zsh
+
+    # We manually include zsh-history-substring-search.
+    autoload -U history-search
+    zle -N history-beginning-search-backward history-search
+    zle -N history-beginning-search-forward history-search
+    bindkey '^[[A' history-beginning-search-backward
+    bindkey '^[[B' history-beginning-search-forward
+  '';
+
   # This value determines the Home Manager release that your
   # configuration is compatible with. This helps avoid breakage
   # when a new Home Manager release introduces backwards