Skip to main content
Unix & Linux
Michael Vehrs's user avatar
Michael Vehrs's user avatar
Michael Vehrs's user avatar
Michael Vehrs
  • Member for 8 years, 5 months
  • Last seen more than 1 year ago
Profile Activity
Stats
2,208
reputation
117k
reached
125
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
7
bronze badges
Top tags
View all tags
88
Score
77
Posts
62
Posts %
63
Score
50
Posts
40
Posts %
60
Score
48
Posts
38
Posts %
52
Score
24
Posts
19
Posts %
33
Score
23
Posts
18
Posts %
31
Score
18
Posts
14
Posts %
Top posts
View all questions and answers
answer
13
Why does cut fail with bash and not zsh?
Jun 10, 2016
answer
9
Grep that shows the pattern line and the matching line
May 31, 2016
answer
8
Each grep result to different file
Jul 14, 2016
answer
7
What is the best practice between using ${var} or $var?
Jun 9, 2016
answer
6
grep the exact block of lines (content of file1) from file2
Jul 11, 2016
answer
6
Merging two files, one column at a time
Jul 6, 2016
answer
5
awk / sed / etc. concatenating colums in one file
Jul 29, 2016
answer
5
need to replace xml attribute value using shell script
Aug 9, 2016
answer
5
I want to edit the text of a specific file
Jun 2, 2016
answer
4
Convert record based (multiline) text to csv with awk
Aug 10, 2018
Top network posts
View all network posts
57
La La Land... no wait, Moo Moo Moonlight
8
sed replace line with capture groups
7
how to sort the line of a file by to the second word from the end
7
Polynesian technology with alternative resources
6
Get help for a package