Computer guy from Australia now living in the US.
Part sysadmin, part developer, part web developer.
My name is pronounced like "Michael".
Mountain View, CA
Member for 8 years, 6 months
6 profile views
Last seen Jun 19 at 6:00
- Unix & Linux 41.2k 41.2k 1010 gold badges103103 silver badges128128 bronze badges
- Stack Overflow 19.3k 19.3k 66 gold badges5050 silver badges6161 bronze badges
- Super User 7.7k 7.7k 11 gold badge3535 silver badges3535 bronze badges
- Ask Ubuntu 5.5k 5.5k 11 gold badge2222 silver badges2828 bronze badges
- Server Fault 2.8k 2.8k 22 gold badges1616 silver badges1616 bronze badges
- View network profile →
Top network posts
- 398 When should I not kill -9 a process?
- 315 How do I rename a repository on GitHub?
- 229 How to check size of a file?
- 182 How to define 'tab' delimiter with 'cut' in BASH?
- 177 How can I get distribution name and version number in a simple shell script?
- 152 Any reason NOT to run Linux in a VM all the time?
- 119 What does -D_XOPEN_SOURCE do/mean?
- View more network posts →
Top tags (6)
2 Award a bounty less than 48 hours after posting Nov 26 '15
2 Site Design Updates Mar 19 '15
1 The console tag should not be a synonym of terminal Apr 19 '11
0 Site Design Updates Mar 19 '15