TnSb/dotfiles
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add history fixup and support default and per-user nix profile

Browse Source
This commit is contained in:
Joel Beckmeyer
2026-03-23 09:30:14 -04:00
parent 311245ea36
commit bead27b2d8
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
dot_config/zsh/dot_zshrc
+9 -1
View File
@@ -67,6 +67,12 @@ if [[ -n "$WSL_DISTRO_NAME" ]]; then
alias usbipd='usbipd.exe' alias usbipd='usbipd.exe'
fi fi
fix_corrupt_history() {
mv "$HISTFILE" "$HISTFILE"_bad
strings "$HISTFILE"_bad > "$HISTFILE"
fc -R "$HISTFILE"
}
# GPG setup (and SSH) # GPG setup (and SSH)
# SSH setup # SSH setup
# I finally figured out how to export my id_rsa from GPG using # I finally figured out how to export my id_rsa from GPG using
@@ -119,8 +125,10 @@ 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 default profile
"/nix/var/nix/profiles/default/share/$plugin/$plugin.zsh" "/nix/var/nix/profiles/default/share/$plugin/$plugin.zsh"
# Nix per-user profile
"$HOME/.nix-profile/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