35e1d2ea48
that removes the dumpfile if it's outdated, so it will get dumped again when the shell starts next time. We're not using comdump because wrapped ZLE widgets cannot or should not be identified by compdump when they have a different name than the original one. See https://github.com/zsh-users/zsh-syntax-highlighting/issues/851
8 lines
309 B
Plaintext
8 lines
309 B
Plaintext
_zimfw_clean_dumpfile() {
|
|
local zdumpfile zopt
|
|
zstyle -s ':zim:completion' dumpfile 'zdumpfile' || zdumpfile=<%= home %>/.zcompdump
|
|
if (( _zprintlevel > 0 )) zopt=-v
|
|
command rm -f ${zopt} ${zdumpfile}(|.zwc(|.old))(N) && \
|
|
_zimfw_print -P "<%= done %>Done with clean-dumpfile.${_zrestartmsg}"
|
|
}
|