Server Fault
Mikel's user avatar
Mikel's user avatar
Mikel's user avatar
Mikel
  • Member for 14 years, 6 months
  • Last seen more than 4 years ago
Profile Activity
Stats
3,877
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Computer guy from Australia.

My name is pronounced like "Michael".

Badges
View all badges
This user doesn’t have any gold badges yet.
14
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
461
How do I rename a repository on GitHub?
435
When should I not kill -9 a process?
311
How to define 'tab' delimiter with 'cut' in Bash?
305
How can I check the size of a file using Bash?
257
How can I get distribution name and version number in a simple shell script?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.