linux grep awk head 的使用

• 我以删除docker多余名为<none>的镜像为例

• 运行如下代码。可以得到检索出来的前14个镜像，然后批量进行删除，腾出空间

  sudo docker images | grep none | awk '{print $3}' | head -14 | xargs docker rmi
  

  下面将详细分析上面代码的工作流程：
  ① 顺序是从左到右的
  ② grep类似于group by
  ③ awk '{print $3}'分成两部分看，第一部分awk
  会以空格作为分割符去分割每一行数据，print $3就是打印出分割出来的第三列，也就是image id
  ④ 然后，指定一下需要删除的前14个镜像的id
  ⑤ 最后，将这些id打包，以参数的形式(xargs)批量赋给docker rmi即可

• [补]: 使用docker rmi xxx不能真正清理空间可以考虑使用：

  docker image prune -a --filter "until=xxh"