Reputation
5,645
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
2 16 27
Impact
~386k people reached

May
15
comment UID of a deleted account
Not 100% reliable, particularly if more than one account has been deleted, but likely to be quick if it works.
May
13
comment bash: /dev/stderr: Permission denied
What are the old and new versions (before and after of your OS and of bash?
May
13
answered bash: /dev/stderr: Permission denied
May
13
comment bash: /dev/stderr: Permission denied
What is the output of ls -l /dev/stdout /dev/stderr and ls -lL /dev/stdout /dev/stderr ?
Apr
30
comment `$RANDOM` is not random within `find`'s `-exec`
Or just increment a counter.
Apr
30
comment Is there a global grep.conf in Unix/Linux?
Or better yet, give it a different name like cgrep. If you always invoke grep with --color, it will mess up other commands that read its output.
Apr
20
awarded  Student
Apr
19
comment bash readline: Key binding that executes an external command
Thanks, that's exactly what I was looking for. This could well be the final nail in the coffin of my tcsh usage.
Apr
19
awarded  Scholar
Apr
19
accepted bash readline: Key binding that executes an external command
Apr
19
asked bash readline: Key binding that executes an external command
Apr
19
answered Why is number of open files limited in Linux?
Apr
16
awarded  Good Answer
Mar
22
awarded  Enlightened
Mar
21
awarded  Nice Answer
Mar
21
revised What is the difference between : and true?
added 442 characters in body
Mar
21
answered What is the difference between : and true?
Mar
21
comment Which shell should I learn for FreeBSD and Debian?
"Does it mean that ...?" -- Not necessarily. For Debian, I think system scripts are typically written using sh or bash; for FreeBSD, I don't know. But as long as those scripts work correctly, there's no real need for you to care how they're written (unless you're changing them yourself). For Debian, root's interactive shell is bash by default; I don't know what it is for FreeBSD, but if you have access to a system you can grep root /etc/passwd to find out. Each user uses whatever shell he or she prefers, using chsh if necessary to change it.
Mar
21
comment Which shell should I learn for FreeBSD and Debian?
How does bash differ from what? The only real way to answer that is to read the documentation for each shell; I can't do justice to them in a comment.
Mar
21
answered Which shell should I learn for FreeBSD and Debian?