Reputation
535
Top tag
Next privilege 1,000 Rep.
See vote count; VIP usercard
Badges
1 6 23
Newest
 Curious
Impact
~95k people reached

Apr
11
revised Insert Unicode characters via the keyboard?
added 71 characters in body
Apr
5
comment What is a safe ping frequency without it being considered a DDoS attack?
Umm, why are you pinging a URL? Ping uses the ICMP protocol. You should be pinging just outlook.office365.com instead.
Mar
20
awarded  Curious
Jan
12
awarded  Good Question
Jan
11
awarded  Excavator
Jan
11
revised Kernel panic after LVM group rename
Improve title, formatting, grammar
Jan
11
suggested approved edit on Kernel panic after LVM group rename
Dec
30
revised How do I associate my keyboard's media keys with VLC media player?
added 138 characters in body; added 163 characters in body
Dec
29
comment How do I associate my keyboard's media keys with VLC media player?
@PeterMortensen I have no way of verifying whether it works for me, since I don't even have that laptop anymore.
Dec
21
comment Issue on github stays closed after I deleted a pushed commit
Anyone who clones your repo will hate you. But rewriting published history on feature branches is usually OK.
Dec
21
comment Issue on github stays closed after I deleted a pushed commit
You should have started with that.
Dec
21
comment Issue on github stays closed after I deleted a pushed commit
Just because you're the only contributor doesn't mean nobody clones your repo. A force push will cause trouble (although easy to fix if you know how to) even with an unchanged local tree.
Dec
21
comment Issue on github stays closed after I deleted a pushed commit
git revert is fine, but rewriting history that's already pushed is something you should never do. But either way, you have to reopen the issue manually, since it's not always desirable to reopen an issue after a revert.
Oct
13
comment No syntax highlight on .md files?
You can actually use .markdown with GitHub too. Anyway, use either .md or .markdown because the others are less widely supported.
Sep
29
comment Is this an attack or something to be concerned about? Shellshock?
My antivirus says it's the Perl/Shellbot.NAK.Gen trojan.
Sep
29
comment Is this an attack or something to be concerned about? Shellshock?
It's actually an IRC client, not a server.
Sep
23
comment How urgent is a *** System restart required *** for security?
@kramer65 Run aptitude changelog <package>, here is an example output: paste.ubuntu.com/8410798 (This is on a Debian system, not Ubuntu, but the same will work on Ubuntu too.)
Jul
29
comment Choosing between .bashrc, .profile, .bash_profile, etc
At least not unconditionally.
Jul
29
comment Choosing between .bashrc, .profile, .bash_profile, etc
+1 for the last paragraph, but I prefer sourcing .profile and .bashrc from .bash_profile and keeping .profile clean.
Jul
29
comment Choosing between .bashrc, .profile, .bash_profile, etc
You deserve an upvote, this is how I do it, and it seems to be a sane way.