remove zsh plugin fetch in favor of nix
This commit is contained in:
parent
006cc70889
commit
027eba011c
@ -14,7 +14,3 @@ refreshPeriod = "168h"
|
|||||||
type = "git-repo"
|
type = "git-repo"
|
||||||
url = "https://github.com/Piraty/xxtools.git"
|
url = "https://github.com/Piraty/xxtools.git"
|
||||||
refreshPeriod = "168h"
|
refreshPeriod = "168h"
|
||||||
|
|
||||||
[".local/share/zsh-history-substring-search"]
|
|
||||||
type = "archive"
|
|
||||||
url = "https://github.com/zsh-users/zsh-history-substring-search/archive/refs/tags/v1.1.0.tar.gz"
|
|
||||||
|
@ -117,6 +117,8 @@ for plugin in zsh-syntax-highlighting zsh-history-substring-search zsh-autosugge
|
|||||||
possible_locations=(
|
possible_locations=(
|
||||||
# Standard location
|
# Standard location
|
||||||
"/usr/share/zsh/plugins/$plugin/$plugin.zsh"
|
"/usr/share/zsh/plugins/$plugin/$plugin.zsh"
|
||||||
|
# Nix
|
||||||
|
"/nix/var/nix/profiles/default/share/$plugin/$plugin.zsh"
|
||||||
# Direct in /usr/share
|
# Direct in /usr/share
|
||||||
"/usr/share/$plugin/$plugin.zsh"
|
"/usr/share/$plugin/$plugin.zsh"
|
||||||
# Home directory locations
|
# Home directory locations
|
||||||
@ -127,8 +129,6 @@ for plugin in zsh-syntax-highlighting zsh-history-substring-search zsh-autosugge
|
|||||||
"$HOME/.oh-my-zsh/custom/plugins/$plugin/$plugin.zsh"
|
"$HOME/.oh-my-zsh/custom/plugins/$plugin/$plugin.zsh"
|
||||||
# Homebrew location (for macOS users)
|
# Homebrew location (for macOS users)
|
||||||
"/usr/local/share/$plugin/$plugin.zsh"
|
"/usr/local/share/$plugin/$plugin.zsh"
|
||||||
# Specific path for history-substring-search with version number
|
|
||||||
"$HOME/.local/share/zsh-history-substring-search/zsh-history-substring-search-*/zsh-history-substring-search.zsh"
|
|
||||||
)
|
)
|
||||||
# Try each location until we find one that exists
|
# Try each location until we find one that exists
|
||||||
for location in "${possible_locations[@]}"; do
|
for location in "${possible_locations[@]}"; do
|
||||||
|
Loading…
Reference in New Issue
Block a user