Reputation
6,897
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
2 21 31
Impact
~600k people reached

Jan
28
awarded  Popular Question
Jan
22
comment Is it safe to strip the binaries in Linux Mint?
Compare the cost of your time to the cost of a bigger hard drive.
Jan
5
comment Is it possible to overwrite a directory with a file in linux
Was the directory called folder1 or Folder1? Is it possible that that's the source of the confusion?
Jan
4
comment How do I change the screen font size when using a virtual console?
I tried this (on Ubuntu 14.04.3 LTS). It just sends a + character.
Dec
27
comment How to conditionally do something if a command succeeded or failed
@vonbrand: Sure, but I don't think it's common to check the return value of vi.
Dec
27
comment Why is it better to use “#!/usr/bin/env NAME” instead of “#!/path/to/NAME” as my shebang?
@Kevin: Just one small point: I've never seen /usr/bin/python be a Python 3 executable; that's generally /usr/bin/python3. (Unless some newer distributions have changed that -- which would break a lot of scripts.)
Dec
27
comment Why is it better to use “#!/usr/bin/env NAME” instead of “#!/path/to/NAME” as my shebang?
@Kevin: Hmm. I'm not much of a Python programmer myself, but I find your statement surprising. I would have thought that most users of Python scripts (not necessarily Python programmers) don't even use Virtualenv. On the other hand, I suppose the #!/usr/bin/env hack would still work for such users -- but it wouldn't have much advantage over #!/usr/bin/python.
Dec
13
accepted Detecting the remaining lifetime of an ssh-agent identity
Dec
11
awarded  Curious
Dec
10
asked Detecting the remaining lifetime of an ssh-agent identity
Dec
7
awarded  Necromancer
Dec
2
comment How to test whether a file uses CRLF or LF without modifying it?
@Scott: Thanks, updated.
Dec
2
revised How to test whether a file uses CRLF or LF without modifying it?
Mention bash's `$'\r'` syntax
Nov
19
awarded  Enlightened
Nov
19
awarded  Nice Answer
Oct
28
revised Is it considered a best practice to not use capital letters in file naming?
added 4 characters in body
Oct
25
reviewed Approve Why is it better to use “#!/usr/bin/env NAME” instead of “#!/path/to/NAME” as my shebang?
Sep
3
awarded  Yearling
Aug
9
comment Is `~/Documents` a relative or an absolute path?
@MichaelKjörling: A few programs implement ~ expansion; most do not. For example, if you type ls -l ~, the ls program never sees the ~ character; it's expanded by the shell before ls is invoked. If you actually pass a ~ to ls, it won't treat it specially; try ls -l '~'` (which will try to list a file named literally ~).
Jul
30
comment Who is this UID and GID?
Which means that if a user on your system happens to have the same numeric UID as the owner of the file on the remote system, that user will end up owning the file. In some contexts that could be a serious problem. If you use the -o or --no-same-owner option (needed only for root), you won't have this problem.