«cat|grep» — моветон. grep'у cat не нужен, кроме того, у grep есть --mmap. Что действительно имеет смысл, так это «head|grep», поскольку KEY расположен в самом начале файла. С другой стороны, «grep --map -m1» может оказаться эффективнее, нежели «head|grep».
«cat|grep» — моветон. grep'у cat не нужен, кроме того, у grep есть --mmap. Что действительно имеет смысл, так это «head|grep», поскольку KEY расположен в самом начале файла. С другой стороны, «grep --map -m1» может оказаться эффективнее, нежели «head|grep».
ReplyDelete