Explorar el Código

driver: Remove now unneeded localoptions

pull/758/head
Matthew Martin hace 4 años
padre
commit
e4408343a1
Se han modificado 1 ficheros con 0 adiciones y 2 borrados
  1. +0
    -2
      driver.zsh

+ 0
- 2
driver.zsh Ver fichero

@ -157,8 +157,6 @@ _zsh_highlight_add_highlight()
# 1) Path to the highlighters directory.
_zsh_highlight_load_highlighters()
{
setopt localoptions noksharrays bareglobqual
# Check the directory exists.
[[ -d "$1" ]] || {
print -r -- >&2 "zsh-syntax-highlighting: highlighters directory ${(qq)1} not found."

Cargando…
Cancelar
Guardar