diff options
author | Linnnus <[email protected]> | 2024-02-13 17:27:18 +0100 |
---|---|---|
committer | Linnnus <[email protected]> | 2024-02-13 17:27:18 +0100 |
commit | bbbdbd1094f1f09b8075da88f6b412d2e4af80ca (patch) | |
tree | be62e8cf55aa8546068eb1bb93257a3f60280ad2 /home/zsh/plugins.nix | |
parent | a908af9a955e64828f0b4f0c3b1c5770775c9794 (diff) | |
parent | 1bbdd3f63a9d8c46b1772cbf2ad9fd83d7ef213b (diff) |
tmp: Merge branch 'main' into reorg
Otherwise, we'd get a conflict when we moved duksebot.
Diffstat (limited to 'home/zsh/plugins.nix')
-rw-r--r-- | home/zsh/plugins.nix | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/home/zsh/plugins.nix b/home/zsh/plugins.nix index 91cee3d..6dbc151 100644 --- a/home/zsh/plugins.nix +++ b/home/zsh/plugins.nix @@ -19,40 +19,6 @@ }; } { - name = "zsh-cwd-history"; - src = pkgs.stdenvNoCC.mkDerivation rec { - pname = "zsh-cwd-history"; - version = "73afed8"; - - src = pkgs.fetchFromGitHub { - owner = "ericfreese"; - repo = pname; - rev = version; - hash = "sha256-xW11wPFDuFU80AzgAgLwkvK7Qv58fo3i3kSasE3p0zs="; - }; - - fixupPhase = '' - substituteInPlace ${pname}.zsh \ - --replace md5 ${pkgs.hashdeep}/bin/md5deep - - mkdir -p $out - mv * $out - ''; - - # This is kind of a weird, useless derivation, so we have to - # manually avoid doing lots of the usual stuff. - dontInstall = true; - }; - config = '' - # Where to but history files - export ZSH_CWD_HISTORY_DIR=${config.xdg.dataHome}/zsh-cwd-history - mkdir -p "$ZSH_CWD_HISTORY_DIR" - - # Toggle between global/local history - bindkey '^G' cwd-history-toggle - ''; - } - { name = "zsh-vi-mode-cursor"; src = pkgs.fetchFromGitHub { owner = "Buckmeister"; |