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.
Spar dig selv for besvær og kom igennem din to-do liste i dag
1
Beskriv din opgave
2
Modtag bud
3
Få løst din opgave
Møbelsamling
Hjælp med at samle Ikea klædeskab
Maler
Klargøring af lejlighed til flyttesyn
Flyttehjælp
Flytning af 150 kvm hus til Roskilde fra København
Havearbejde
Beskæring af 4 større træer
IT support
Geninstallering af windows + programmer
Elektriker
Installation af Sonos musikanlæg i hus
Rengøring
Ugentlig rengøring af lejlighed (114kvm)
Flyttehjælp
Flytning af 150 kvm hus til Roskilde fra København
Elektriker
Opsætning af lamper i stue og soveværelse
Catering
3-retters menu til 14 mennesker