GNU/Linux >> Tutoriels Linux >  >> Linux

Changer la commande find-grep par défaut dans emacs

Le texte que vous avez modifié ne ressemble pas à du code exécutable. Vous venez probablement de modifier une chaîne de documentation (en fait, une petite recherche sur Google révèle que cela se trouve dans la chaîne de documentation pour grep-find-use-xargs ). Mais Emacs est éminemment personnalisable; tout ce que vous avez à faire est de définir la valeur de grep-find-template à quelque chose qui vous convient mieux personnellement, dans votre propre .emacs/init.el ou similaire.

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

Voir le manuel pour plus de documentation et, bien sûr, la documentation intégrée (ctrl-h v grep-find-template RET ).

Le code source réel est dans http://git.savannah.gnu.org/cgit/emacs.git/tree/lisp/progmodes/grep.el#n174 mais vous vraiment, vraiment, vraiment ne souhaitez pas modifier le code source. La personnalisation au niveau de l'utilisateur sans modification du code est l'une des conceptions fondamentales d'Emacs. Apprenez à utiliser cette fonctionnalité.


Vous devez utiliser la fonction grep-apply-setting pour définir la variable grep-find-command , et doublez les barres obliques inverses avant les accolades :

(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))

Placera le curseur juste un peu après le -e


Linux
  1. Pourquoi la commande suivante tue-t-elle un système ?

  2. Comment changer le shell par défaut sous Linux

  3. Comment changer le shell par défaut sous Linux

  4. D'où puis-je trouver le code source de la commande cp ?

  5. Comment changer la police de l'interface utilisateur de Visual Studio Code ?

Comment utiliser la commande Linux cd pour changer de répertoire

Comment changer la priorité d'un processus sous Linux

Comment changer le nom d'hôte sur CentOS 8

Comment changer la couleur de sortie de 'Echo' sous Linux

Comment changer le shell par défaut dans le système Linux

Comment changer le terminal par défaut dans Ubuntu