219 reputation
28
bio website
location
age
visits member for 4 years
seen Jul 24 at 8:31

Jul
8
awarded  Notable Question
Apr
11
answered Change the output format of zsh's time
Mar
10
accepted Fetch MP3 ID3 tag under linux
Feb
17
awarded  Yearling
Feb
16
asked Rename selfdefined function
Jan
28
awarded  Tumbleweed
Dec
29
awarded  Critic
Dec
29
answered How to delete all files & directories in a directory including hidden ones except .htaccess?
Sep
18
answered Can I remove the ctrl-z key binding in my shell?
Nov
24
awarded  Popular Question
Aug
18
comment Pass current GNU screen window number to backtick command
I'd like to do something like this: if current-screen-windownumber is 1 then delete some log file.
Aug
17
comment Pass current GNU screen window number to backtick command
Thanks for the environmnet hint. Unfortunately WINDOW is only set for the corresponding terminal, the backtick script has the original environment. Passing %n as an argument in the backtick definition line doesn't work either.
Aug
17
revised Pass current GNU screen window number to backtick command
elaborated
Aug
17
asked Pass current GNU screen window number to backtick command
Aug
17
answered Is it a good idea to have WiFi turned on all the time?
Jul
28
comment git: Keep changelog for file when moving to a different repository
Yet the filter-branch command is missing an option to keep the history of filename.conf if it was moved/renamed at some point of its lifetime. (edit: no <pre> or <code> here...)
Jul
27
comment git: Keep changelog for file when moving to a different repository
It really seems to be working. Someone should make a script out of this, catch all things that can go wrong and make it available to the whole git community :-)
Jul
27
awarded  Scholar
Jul
27
awarded  Supporter
Jul
27
accepted git: Keep changelog for file when moving to a different repository