Différences

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

--- ligne_de_commande [2018/01/11 08:59] – chabrol
+++ ligne_de_commande [2019/10/10 08:40] (Version actuelle) – chabrol
@@ Ligne 1: / Ligne 1: @@
 ====== Ligne de commandes utiles ======
+===== Effacer les vieux kernel sous ubuntu =====
+<code>
+dpkg -l|egrep "linux-image-[1-9]|linux-headers-[1-9]|linux-image-extra-[1-9]"|awk '{print $2}'|grep -v `apt-cache depends linux-image-generic|egrep "pend: linux-image-[0-9].*generic$"|sed "s/.*image-\(.*\)-generic*/\1/"`|grep -v `uname -r|sed "s/-generic//"`|awk 'BEGIN {cmd = "apt-get remove --purge "} {cmd = cmd " " $1} END {print "\n" cmd "\n"}'
+</code>
 ===== ISO to USB =====
 Pour copier le contenu d'un ISO sur une clef USB