As of May 31, 2023, we have updated our Code of Conduct.

Mikel

Member for 12 years, 5 months
Last seen more than a week ago

mikelward.com
London, UK

Summary

Reputation

55,907

55.9k
49k
42.2k

2020
2021
2022
2023

Next tag badge

1383/400 score

77/80 answers

Badges

12

127

149

Newest

Nice Answer

Next badge

53/80

Deputy

Answers

View all 384 answers

Score Activity Newest

313

Looping through files with spaces in the names?

Mar 18, 2011

305

How to define 'tab' delimiter with 'cut' in Bash?

Mar 30, 2012

254

How can I get distribution name and version number in a simple shell script?

Jan 24, 2011

166

How do you do a dry run of rm to see what files will be deleted?

Feb 7, 2011

166

What is the difference between $* and $@?

Jun 25, 2012

Questions

Score Activity Newest Views

434

When should I not kill -9 a process?

Mar 9, 2011

Tags

View all 351 tags

bash

1,383

Score

78

posts

shell

1,079

Score

63

posts

linux

804

Score

55

posts

command-line

539

Score

36

posts

shell-script

483

Score

24

posts

Reputation

+10

Is there a ".bashrc" equivalent file read by all shells?

+10

sort but keep header line at the top

+10

How to grep standard error stream (stderr)?

+10

List packages on an apt based system by installation date

Badges

View all badges

12

gold badges

Stellar Question

Jan 29, 2014
Electorate

Apr 21, 2015
Fanatic

Apr 6, 2014

127

silver badges

Sportsmanship

May 12, 2012
Generalist

Oct 29, 2012
Pundit

May 12, 2013

149

bronze badges

command-line

Feb 1, 2013
shell-script

Jun 23, 2016
shell

May 26, 2012

Accounts

View all 40 accounts

55.9k
12
127
149

24.7k
8
65
66

8,806
1
41
37

6,458
3
29
29

3,827
2
20
16

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

1,599

upvotes

516

downvotes

831

question votes

1,284

answer votes