1,860 reputation
1433
bio website
location
age
visits member for 4 years, 1 month
seen Jan 24 at 23:26

Aug
14
comment Run “logout script” for non-login shells
D'oh! Of course, the -. I ended up putting trap . "$HOME/.bash_logout" 0 in the .bashrc before coming back here and being reminded why I should always use -... a forgotten habit...
Aug
14
asked Run “logout script” for non-login shells
Aug
14
asked Easily get a particular column from output without sed or awk
Aug
10
awarded  Notable Question
May
31
accepted Relationship between cc1 and gcc?
May
31
asked Relationship between cc1 and gcc?
May
14
revised Is there any way for group “owners” to have full rights of a file or directory owner?
narrowing focus on `chmod` since deletion is unrelated
May
14
comment Is there any way for group “owners” to have full rights of a file or directory owner?
ahh... I knew you had to have write permissions on the directory before you could delete things in it, but I didn't realize that the permissions on the file were irrelevant. Thanks. I'm editing the question to reflect the fact that deletion is a different matter entirely.
May
14
asked Is there any way for group “owners” to have full rights of a file or directory owner?
May
14
comment File owner must belong to file group?
Are you saying that if I'm the owner of a file, and I'm in the group that "owns" it, and the group has permission to write and execute while I only have read permission, then the group permissions will be ignored for me?
May
14
accepted How to disable gzip compression with wget?
Apr
17
awarded  Nice Question
Apr
5
awarded  Nice Question
Apr
3
comment How can I bind multiple tmux commands to one keystroke?
Really?... It's been a while since I tested the other approach, but I'd be surprised if tmux broke that. If you're absolutely sure it doesn't work, then I'll test again and possibly accept this answer instead.
Apr
2
awarded  Necromancer
Mar
28
awarded  Popular Question
Mar
26
comment Why is $* not working as expected?
You're right: sorry. I've been working lately on several other machines where I have to work in bash, and I forgot I was using zsh on this machine.
Mar
26
accepted Why is $* not working as expected?
Mar
25
asked Why is $* not working as expected?
Mar
16
answered How to disable gzip compression with wget?