you are viewing a single comment's thread
view the rest of the comments
[–] 16 points 2 months ago (8 children)
  • [–] 31 points 2 months ago (2 children)

    I'm gonna tie you too the radiator, and grep you in the mouth for decades, and decades, and decades!

  • source
  • parent
  • hideshow 2 child comments
  • [–] 2 points 2 months ago (3 children)

    It's a command line tool, used to search and filter text. According to wikipedia it stands for "global regular expression print", which I never knew til today. Essentially, you give it some input text and a regular expression, and grep outputs all the parts of the input that match the regular expression. For example, if I run the command cat server_logs.log | grep ERROR* on my server, grep will print out all the lines in server_logs.log that have the word "ERROR", filtering out all the "WARN" and "INFO" logs.

    * The | character is called a pipe, and it's used to pass the output of one command line utility to another. In this example, the command line tool cat prints out the entire text of the file server_logs.log, and that output is then passed as an input to the next utility, grep, who filters it and outputs the filtered result. Piping is unnecessary in this case; in fact I have heard it rather upsettingly referred to as cat abuse, but that's how my fingers remember how to filter files so I thought I'd present it as I wrote it.

  • source
  • parent
  • hideshow 3 child comments
  • [–] 4 points 2 months ago (2 children)

    ...

    https://lemmy.world/search?q=grep&type=All&listingType=All&creatorId=531839&page=1&sort=TopAll&titleOnly=false

    I'm familliar with grep, thank you. Although you did something good for people who don't know.

    I mean more, what's grep innuendo for? The others are fairly obvious.

  • source
  • parent
  • hideshow 2 child comments
  • Oh, hahaha. Well, I'm glad you liked it in that case. I've been practicing my hand at writing little impromptu social-media sized explainers for technical concepts, and It's good to get some knowledgeable feedback.

    I've always assumed the joke was that it sounded like "grope", and I always thought it was a loose fit for this joke. A bit of a reach, if you will.

  • source
  • parent
  • load more comments (1 reply)