Outils pour utilisateurs

Outils du site


mes_commandes_linux_utiles

Différences

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

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
mes_commandes_linux_utiles [2023/03/15 09:05] ticklemanmes_commandes_linux_utiles [2023/03/15 09:05] (Version actuelle) tickleman
Ligne 14: Ligne 14:
  
 Diff entre deux fichiers php.ini filtrant les différences sans importance : Diff entre deux fichiers php.ini filtrant les différences sans importance :
-<code>diff -/etc/php/8.0/apache2/php.ini /etc/php/8.1/apache2/php.ini | grep -v "\-\-\-" | grep -v "^[<>] ;" | grep -v "^[1-9]" | grep -v "^> $" | grep -v "^< $"</code>+<code>diff -/etc/php/8.0/apache2/php.ini /etc/php/8.1/apache2/php.ini | grep -v "\-\-\-" | grep -v "^[<>] ;" | grep -v "^[1-9]"</code>
mes_commandes_linux_utiles.txt · Dernière modification : 2023/03/15 09:05 de tickleman