Ja, det er muligt at opsætte både lokal og global ZSH shell-historik separat. Dette kan gøres ved at konfigurere ZSH's indbyggede funktioner og bindings. Her er en trin-for-trin guide til, hvordan du kan gøre dette:
.zshrc
fil i en teksteditor.
# Lokal historik
HISTFILE=~/.zsh_history_local
HISTSIZE=1000
SAVEHIST=1000
# Global historik
setopt share_history
HISTFILE=~/.zsh_history_global
HISTSIZE=2000
SAVEHIST=2000
.zshrc
fil:
# Funktion til at skifte til lokal historik
function use_local_history() {
export HISTFILE=~/.zsh_history_local
}
# Funktion til at skifte til global historik
function use_global_history() {
export HISTFILE=~/.zsh_history_global
}
.zshrc
fil:
# Bind CTRL+op til global historik
bindkey '^[[1;5A' use_global_history
# Bind normal op til lokal historik
bindkey '^[[A' use_local_history
.zshrc
fil.zshrc
fil ved at køre:
source ~/.zshrc
Med disse trin vil du kunne skifte mellem lokal og global ZSH shell-historik ved hjælp af tastaturbindings. Dette giver dig fleksibiliteten til at have en separat historik for hver terminalsession samt en delt historik på tværs af alle terminalsessioner.