Super User
mikewaters's user avatar
mikewaters's user avatar
mikewaters's user avatar
mikewaters
  • Member for 13 years, 5 months
  • Last seen more than 1 year ago
Profile Activity
Stats
2,017
reputation
857k
reached
7
answers
4
questions
Communities
View all
Badges
View all badges
2
gold badges
16
silver badges
14
bronze badges
Top tags
View all tags
134
Score
1
Posts
9
Posts %
134
Score
1
Posts
9
Posts %
134
Score
1
Posts
9
Posts %
134
Score
1
Posts
9
Posts %
6
Score
4
Posts
36
Posts %
5
Score
2
Posts
18
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
134
Remove key from known_hosts
Jul 2, 2010
question
31
Terminal *output* history?
Sep 9, 2010
question
5
Gnome+NX clipboard behavior; auto-copy on select?
Jul 25, 2010
answer
5
Gnome+NX clipboard behavior; auto-copy on select?
Aug 24, 2010
answer
3
Is it possible to queue a message by writing it to file?
Aug 24, 2011
question
2
Bash = Shortcut to making a copy of a file in a remote directory?
May 2, 2011
question
1
Windows 7 boot loader on a new drive?
Jan 23, 2019
answer
1
How to change font size in gnome-shell panel
Dec 21, 2011
answer
0
Ubuntu 10.04: Firefox doesn't accept keystrokes after unlocking screensaver
Sep 2, 2010
answer
0
Video skips in Ubuntu 10.10 when mouse is not moving
Mar 14, 2012
Top network posts
View all network posts
138
Optional stdin in Python with argparse
45
Convert list of ASCII codes to string (byte array) in Python
19
How do I check the postfix queue size?
13
How can I disable YouCompleteMe and enable NeoComplete, only for one filetype?
13
Shrink/reset directory size?

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.