GNU/Linux >> Tutoriales Linux >  >> Linux

Cambiar el comando predeterminado find-grep en emacs

El texto que cambió no parece un código ejecutable. Probablemente acaba de cambiar una cadena de documentación (en realidad, un poco de google revela que esto está en la cadena de documentación para grep-find-use-xargs ). Pero Emacs es eminentemente personalizable; todo lo que tienes que hacer es establecer el valor de grep-find-template a algo que es más adecuado para usted personalmente, en su propio .emacs/init.el o similar.

(setq grep-find-template
      "find <D> <X> -type f <F> -exec grep <C> -nH -e <R> \\{\\} +")

Consulte el manual para obtener más documentación y, por supuesto, la documentación integrada (ctrl-h v grep-find-template RET ).

El código fuente real está en http://git.savannah.gnu.org/cgit/emacs.git/tree/lisp/progmodes/grep.el#n174 pero realmente, realmente, realmente no desea editar el código fuente. La personalización a nivel de usuario sin cambios de código es uno de los diseños fundamentales de Emacs. Aprende a usar esta función.


Necesitas usar la función grep-apply-setting para configurar la variable grep-find-command y duplica las barras invertidas antes de las llaves:

(grep-apply-setting 'grep-find-command "find . -type f -exec grep -nH -e  \\{\\} +")

(grep-apply-setting 'grep-find-command '("find . -type f -exec grep -nH -e  \\{\\} +" . 34))

Colocará el cursor ligeramente después del -e


Linux
  1. Cambiar el número de puerto del servidor SSH predeterminado

  2. ¿Cómo cambiar el administrador de escritorio predeterminado en Debian?

  3. ¿Cuál es la unidad de tamaño predeterminada en el comando linux ls -l?

  4. ¿Cómo cambiar rápidamente la primera palabra en un comando Bash?

  5. ¿Debo cambiar el puerto SSH predeterminado en los servidores Linux?

Cómo usar el comando cd de Linux para cambiar de directorio

Cómo cambiar la prioridad de un proceso en Linux

Cómo cambiar el nombre de host en CentOS 8

Cómo cambiar el color de salida de 'Echo' en Linux

Cómo cambiar el shell predeterminado en el sistema Linux

Cómo cambiar la terminal predeterminada en Ubuntu