Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #197438
| From | john doe <johndoe65534@mail.com> |
|---|---|
| Newsgroups | linux.debian.user |
| Subject | Re: Editing a piped in stream? |
| Date | 2018-07-10 15:30 +0200 |
| Message-ID | <wa0Sl-7nX-3@gated-at.bofh.it> (permalink) |
| References | (6 earlier) <w9fTr-4wX-11@gated-at.bofh.it> <w9hLA-5Dt-11@gated-at.bofh.it> <w9ioh-5Qg-5@gated-at.bofh.it> <w9l2N-7v2-1@gated-at.bofh.it> <w9ZMB-6Mt-7@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
On 7/10/2018 2:16 PM, mick crane wrote:
> On 2018-07-08 17:41, John Darrah wrote:
>> On 7/8/2018 7:00 AM, Richard Owlett wrote:
>>>
>>> Until this thread I didn't have concept of "stream editor", much less
>>> the existence of "sed".
>>> I had heard of "AWK", but had an image of it being a regex parser.
>>>
>> Awk is easy to learn because it is a minimal language. It can do
>> anything sed can do and much more. I am always surprised that so many
>> people opt to build long commands with cut/sed instead of using awk.
>> FWIW, I use mawk because it is orders of magnitude faster than gawk.
>>
>> -- john
>
>
> I'd like to learn some awk having found it handy once.
> apt says mawk is installed
>
> in /usr/bin I have
> lrwxrwxrwx 1 root root 21 Apr 2 22:29 awk ->
> /etc/alternatives/awk
> -rwxr-xr-x 1 root root 658072 Jan 25 12:55 gawk
> -rwxr-xr-x 1 root root 3189 Jan 25 12:55 igawk
> -rwxr-xr-x 1 root root 121976 Mar 23 2012 mawk
> lrwxrwxrwx 1 root root 22 Apr 2 22:29 nawk ->
> /etc/alternatives/nawk
>
> "awk" returns options for gawk and "mawk does nothing ( back to prompt)
>
At the end of those 'gawk' options:
"gawk is a pattern scanning and processing language.
By default it reads standard input and writes standard output."
$ printf "%s" "123 456 789" | awk '{print $2}'
456
--
John Doe
Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Editing a piped in stream? Richard Owlett <rowlett@cloud85.net> - 2018-07-06 18:20 +0200
Re: Editing a piped in stream? Michael Wagner <wagner_m_bremen@web.de> - 2018-07-06 18:50 +0200
Re: Editing a piped in stream? Richard Owlett <rowlett@cloud85.net> - 2018-07-06 20:30 +0200
Re: Editing a piped in stream? john doe <johndoe65534@mail.com> - 2018-07-06 19:10 +0200
Re: Editing a piped in stream? David Christensen <dpchrist@holgerdanske.com> - 2018-07-07 04:10 +0200
Re: Editing a piped in stream? John Crawley <john@bunsenlabs.org> - 2018-07-07 11:00 +0200
Re: Editing a piped in stream? David Christensen <dpchrist@holgerdanske.com> - 2018-07-07 21:40 +0200
Re: Editing a piped in stream? David Wright <deblis@lionunicorn.co.uk> - 2018-07-08 03:40 +0200
Eureka;/ Re: Editing a piped in stream? Richard Owlett <rowlett@cloud85.net> - 2018-07-08 13:00 +0200
Re: Editing a piped in stream? John Crawley <john@bunsenlabs.org> - 2018-07-08 03:40 +0200
Re: Editing a piped in stream? john doe <johndoe65534@mail.com> - 2018-07-08 07:40 +0200
Re: Editing a piped in stream? Andy Smith <andy@strugglers.net> - 2018-07-08 13:20 +0200
Re: Editing a piped in stream? Richard Owlett <rowlett@cloud85.net> - 2018-07-08 15:20 +0200
Re: Editing a piped in stream? Richard Owlett <rowlett@cloud85.net> - 2018-07-08 16:00 +0200
Re: Editing a piped in stream? John Darrah <xyllyx@gmail.com> - 2018-07-08 18:50 +0200
Re: Editing a piped in stream? mick crane <mick.crane@gmail.com> - 2018-07-10 14:20 +0200
Re: Editing a piped in stream? Greg Wooledge <wooledg@eeg.ccf.org> - 2018-07-10 14:40 +0200
Re: Editing a piped in stream? mick crane <mick.crane@gmail.com> - 2018-07-10 15:00 +0200
Re: Editing a piped in stream? john doe <johndoe65534@mail.com> - 2018-07-10 15:30 +0200
Re: Editing a piped in stream? mick crane <mick.crane@gmail.com> - 2018-07-10 14:50 +0200
Re: Editing a piped in stream? Greg Wooledge <wooledg@eeg.ccf.org> - 2018-07-09 14:50 +0200
Re: Nvidia drivers Matthew Crews <mattcrews@mattcrews.com> - 2018-07-09 15:20 +0200
Re: Nvidia drivers Matthew Crews <mattcrews@mattcrews.com> - 2018-07-09 20:40 +0200
Re: Nvidia drivers Boyan Penkov <boyan.penkov@gmail.com> - 2018-07-09 20:50 +0200
csiph-web