develop:zsh: speed up and reformat zshrc a bit

profiles/develop/zsh/default.nix

@@ -66,6 +66,27 @@ in
   programs.zsh = {
     enable = true;
 
+    enableGlobalCompInit = false;
+
+    histSize = 10000;
+
+    setOptions = [
+      "extendedglob"
+      "incappendhistory"
+      "sharehistory"
+      "histignoredups"
+      "histfcntllock"
+      "histreduceblanks"
+      "histignorespace"
+      "histallowclobber"
+      "autocd"
+      "cdablevars"
+      "nomultios"
+      "pushdignoredups"
+      "autocontinue"
+      "promptsubst"
+    ];
+
     promptInit = ''
       source ${pkgs.purs}/share/zsh/plugins/purs/purs.zsh
     '';

profiles/develop/zsh/zshrc

@@ -8,26 +8,6 @@ hash -d \
   github=~git/github.com \
   gitlab=~git/gitlab.com
 
-# Zsh options
-setopt extendedglob
-setopt incappendhistory
-setopt sharehistory
-setopt histignoredups
-setopt histreduceblanks
-setopt histignorespace
-setopt histallowclobber
-setopt autocd
-setopt cdablevars
-setopt nomultios
-setopt pushdignoredups
-setopt autocontinue
-setopt promptsubst
-
-# Environment
-HISTSIZE=10000
-SAVEHIST=10000
-HISTFILE=$HOME/.history
-DIRSTACKSIZE=5
 
 # key binds
 bindkey -v '^?' backward-delete-char