972 reputation
521
bio website
location United Kingdom
age 22
visits member for 2 years, 4 months
seen 5 hours ago

Engineer/artist.


2h
awarded  Popular Question
Jul
26
revised How to get keycodes for xmodmap?
Code-formatted quoted terminal output.
Jul
26
suggested suggested edit on How to get keycodes for xmodmap?
Jul
25
revised How do I find seconds since midnight?
More descriptive title. Clarified content.
Jul
25
comment What filesystem should I choose for an SSD?
The Arch Linux wiki has great info on this. Ext4 and XFS both have TRIM support, so they can treat SSDs well. (It's off by default in Ext4, but you can enable it with the discard mount flag.)
Jul
25
revised Can I use scrypt to hash for LUKS?
More descriptive title. Clarified content and joined it to one line.
Jul
25
suggested suggested edit on Can I use scrypt to hash for LUKS?
Jul
25
comment In tmux session, cannot connect to X server after ssh'ing
Bit confused. Are you using the -X flag now or not? You can only do X11 stuff through SSH if that's set.
Jul
25
revised What filesystem should I choose for an SSD?
Clarified.
Jul
25
suggested suggested edit on What filesystem should I choose for an SSD?
Jul
25
suggested suggested edit on How do I find seconds since midnight?
Jul
22
revised How can I pipe stdout to another program?
Remove thankyous.
Jul
22
reviewed Reviewed How can I pipe stdout to another program?
Jul
22
suggested suggested edit on How can I pipe stdout to another program?
Jul
22
comment How can I pipe stdout to another program?
You're already piping to another program when you git diff | grep. Do you mean passing the previous command's output as arguments, as with xargs or $(...)?
Jul
22
reviewed Reviewed PBS equivalent of 'top' command: avoid running 'qstat' repeatedly
Jul
22
revised How do you hide a pane?
Grammar. Remove duplication and unnecessary list formatting.
Jul
22
suggested suggested edit on How do you hide a pane?
Jul
17
awarded  Nice Question
Jul
17
revised GIF screencasting; the UNIX way
Demonstrate an improved method. Reasons: FFmpeg is pretty amazing, but it's bad at gif encoding. Recording first to AVI, then converting and optimising with IM has given me higher-quality images with smaller file sizes. Win-win.