anchor.diff:          description = "Share command history between zsh sessions.";
         };
       };
  -  };
  +  });
   
     pluginModule = types.submodule ({ config, ... }: {
       options = {
  
positive.code:           source "$HOME/${pluginsDir}/${plugin.name}/${plugin.file}"
          '') cfg.plugins)}
  
          # HISTSIZE, HISTFILE have to be set in .zshrc and after oh-my-zsh sourcing
          # see https://github.com/rycee/home-manager/issues/177
          HISTSIZE="${toString cfg.history.size}"
          HISTFILE="$HOME/${cfg.history.path}"
  
          ${cfg.initExtra}
  
  
negative.code:         description = "Number of history lines to keep.";
        };
  
        save = mkOption {
          type = types.int;
          defaultText = 10000;
          default = config.size;
          description = "Number of history lines to save.";
        };
  
        path = mkOption {
          type = types.str;
          default = relToDotDir ".zsh_history";
  