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
9 lines
416 B
Plaintext
9 lines
416 B
Plaintext
_zimfw_clean_compiled() {
|
|
# Array with unique dirs. ${ZIM_HOME} or any subdirectory should only occur once.
|
|
local -Ur zscriptdirs=(${ZIM_HOME} ${${_zdirs##${ZIM_HOME}/*}:A})
|
|
local zopt
|
|
if (( _zprintlevel > 0 )) zopt=-v
|
|
command rm -f ${zopt} ${^zscriptdirs}/**/*.zwc(|.old)(N) && \
|
|
_zimfw_print -P '<%= done %>Done with clean-compiled. Restart your terminal or run %Bzimfw compile%b to re-compile.'
|
|
}
|