732 reputation
519
bio website
location
age
visits member for 2 years, 7 months
seen Dec 2 '13 at 5:05

Oct
5
comment mutt responsive way to refresh inbox
Really? keep hitting $?
Oct
5
asked Copying man pages from tmux copy mode
Oct
5
comment mutt responsive way to refresh inbox
But I would like to issue the command manually, only: more conveniently than "pretending to switch IMAP folders". Most of the time, I don't need the polling at all..
Oct
5
comment mutt responsive way to refresh inbox
To be able to choose when I poll the server?
Oct
5
asked mutt responsive way to refresh inbox
Oct
5
asked tmux malloc() fault on sorting mailbox
Oct
4
revised Mutt new e-mail notifications in tmux window
added 35 characters in body
Oct
4
asked Mutt new e-mail notifications in tmux window
Oct
3
accepted ssh-add on an intermediate ssh hop node
Oct
3
asked ssh-add on an intermediate ssh hop node
Oct
1
revised Bash history with timestamps
added 306 characters in body
Oct
1
accepted Bash history with timestamps
Oct
1
revised Bash history with timestamps
added 101 characters in body
Oct
1
revised Bash history with timestamps
added 148 characters in body
Oct
1
comment Bash history with timestamps
Copied that HISTTIMEFORMAT='%b %d %I:%M:%S %p ' verbatim, still no luck. If I echo $HISTTIMEFORMAT it's the right value. This is interesting!
Oct
1
revised Bash history with timestamps
added 55 characters in body
Oct
1
comment Bash history with timestamps
I most definitely did. It is doing "something": adding a commented line before the command with a numeric timestamp: #1349057149
Oct
1
comment Bash history with timestamps
Nope, doesn't work on OSX.. :( Prob that's the issue. A strange OS.
Oct
1
revised Bash history with timestamps
added 205 characters in body; edited tags
Oct
1
comment Bash history with timestamps
Probably I am getting the strftime format wrong. It would help if the man page included at least a couple of examples.. +%Y-%m-%d %H-%M-%S ?