7,032 reputation
1726
bio website
location Seattle, WA
age
visits member for 2 years, 9 months
seen 19 hours ago

I am a computer programmer. Knowledge representation and algorithmic complexity are my main interests.


Mar
28
answered How to configure mailx to support Gmail?
Mar
26
answered How can I pipe a path to pushd?
Mar
24
comment What is syscall-template.S?
You've come across it, but it's not on your system. Where did you come across it?
Mar
22
comment Deduplication on partition level
I don't understand why this question is being up-voted. Googling for "linux deduplication" turns up a list of filesystems and products which we don't need to duplicate here.
Mar
20
answered How do i get screen to execute/load .zprofile when starting a new window?
Mar
20
answered How to tell what type of filesystem you're on?
Mar
14
answered What's faster, dd 1.5TB or rsync 500GB?
Mar
13
answered How to clear the last -10 info?
Mar
12
answered Convert linux sysuptime to well format date
Mar
11
answered Opening a file with space from Ruby
Mar
11
awarded  Organizer
Mar
11
revised Opening a file with space from Ruby
edited tags
Mar
11
comment Opening a file with space from Ruby
For me, typing emacs "foo bar" RETURN, typing some garbage followed by C-x C-s creates a file called foo bar. emacs foo\ bar RETURN also works. My shell is bash. If the shell or emacs is behaving differently for you, then there's something in your environment that is causing it.
Mar
9
awarded  Nice Answer
Mar
8
comment Add consecutive numbers succintly and elegantly to index lines
Wow. I've been using *IX since the mid 1980's and I'd never used or heard of nl.
Mar
8
answered Add consecutive numbers succintly and elegantly to index lines
Mar
8
comment Finding text between two specific characters or strings
@Peter Thanks for catching that. I'd have sworn I tested the sed example. :( I've changed it to your version. Regarding \012: it is needed otherwise tr will eat the newlines.
Mar
8
revised Finding text between two specific characters or strings
fixed sed example, which actually did not work.
Mar
7
comment How to make changes to /etc/profile take effect
What I would do is put an echo $GRAILS_HOME at the end of /etc/profile so you can both see what the variable value is at that point and verify that /etc/profile is actually being sourced when you login.
Mar
7
answered How to make changes to /etc/profile take effect