Reputation
10,859
Top tag
Next privilege 15,000 Rep.
Protect questions
Badges
7 37 71
Newest
 Nice Answer
Impact
~1.9m people reached

Jun
25
revised What is the equivalent of an “exe file”?
added 49 characters in body
Jun
25
comment What is the equivalent of an “exe file”?
@Dani-Br This is a community-wiki post, meaning that others are welcome to edit it, and you have enough reputation to do so (at 101). I've added .bin for now.
May
30
awarded  Nice Answer
May
21
revised What is the equivalent of an “exe file”?
added 18 characters in body
May
18
revised How can I make my shell prompt look like a cheeseburger?
added 69 characters in body
May
5
awarded  Notable Question
May
1
comment How does Ubuntu know the make and model of my laptop?
So where does dmidecode get this information?
Apr
24
awarded  Notable Question
Apr
16
answered ubuntu fault update manager
Apr
16
revised 4K (3840x2160) with GeForce GT 730M (Notebook Acer v3-571g) on HDMI port not working
deleted 71 characters in body
Apr
16
answered Warning editing rc.local (/etc/rc.local)
Apr
16
revised What is the CVE-2014-6271 bash vulnerability (Shellshock) and how do I fix it?
edited tags
Apr
12
revised Changed ownership of all files and folder in home to 'root' by mistake
added 1 character in body
Apr
10
awarded  Yearling
Mar
31
awarded  Notable Question
Mar
7
comment Installing Times New Roman font
@Walter the problem is that the user has not been seen for years as well, as far as I can tell on the stack exchange mobile app.
Mar
7
comment Installing Times New Roman font
@WalterTross this post was last acted upon by Benjamin in 2012. Last activity was over half a year ago.
Dec
19
awarded  Enlightened
Dec
19
awarded  Nice Answer
Nov
12
awarded  Enlightened