Outils pour utilisateurs

Outils du site


grep

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Prochaine révisionLes deux révisions suivantes
grep [2020/04/26 13:28] – créée crustgrep [2020/04/26 13:29] – [1.4 Les ancres (début et fin)] crust
Ligne 109: Ligne 109:
  
 __Rechercher les motifs dont les lignes **COMMENCENT** par ; on utilisera le **^**__ __Rechercher les motifs dont les lignes **COMMENCENT** par ; on utilisera le **^**__
-**$ egrep "^#GRUB" /etc/default/grub+<code bash>$ egrep "^#GRUB" /etc/default/grub
 #GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef" #GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"
 #GRUB_TERMINAL=console #GRUB_TERMINAL=console
Ligne 115: Ligne 115:
 #GRUB_DISABLE_LINUX_UUID=true #GRUB_DISABLE_LINUX_UUID=true
 #GRUB_DISABLE_RECOVERY="true" #GRUB_DISABLE_RECOVERY="true"
-#GRUB_INIT_TUNE="480 440 1"+#GRUB_INIT_TUNE="480 440 1"</code>
  
 __Rechercher les motifs dont les lignes **FINISSENT** par ; on utilisera le **$**__ __Rechercher les motifs dont les lignes **FINISSENT** par ; on utilisera le **$**__
grep.txt · Dernière modification : 2020/11/02 20:57 de cyrille