400 reputation
214
bio website macmaintenance.be/author/…
location France
age 36
visits member for 1 year, 9 months
seen yesterday

I'm interested in computer graphics, algorithms, combinatorics, mathematics, and meta programming. Languages I use are Prolog, C++, Objective-C. I make graphics and educational applications.


Jan
17
awarded  Popular Question
Nov
13
accepted Pipe command to tail: when is the first command aborted?
Nov
12
comment Pipe command to tail: when is the first command aborted?
OK. So tail closes the pipe on time, but head doesn't know it yet..
Nov
12
revised Pipe command to tail: when is the first command aborted?
added 130 characters in body
Nov
12
revised Pipe command to tail: when is the first command aborted?
added 287 characters in body
Nov
12
comment Pipe command to tail: when is the first command aborted?
The question is: why doesn't it stop right after 2 is displayed. I want the loop to run two times, not three.
Nov
12
asked Pipe command to tail: when is the first command aborted?
Nov
8
comment How to prepare files for rsync on a case insensitive filesystem?
I still haven't looked why the condition is not working because I solved my problem with my script. But there is a problem.
Nov
7
comment How to prepare files for rsync on a case insensitive filesystem?
rm -- ${conflicts[1,-2]} is dead code. The condition (( ${#${(@u)h}} == 1 )) is wrong. I'm debugging (and learning zsh at the same time)..
Nov
7
comment ZSH and completion of files with newline characters
It's not working, even with an empty ~/.zshrc. But it's working with zsh -f.
Nov
7
comment ZSH and completion of files with newline characters
@StephaneChazelas I'm using zsh 5.0.0. Yes, zsh -f solves the problem. Why ?
Nov
7
asked ZSH and completion of files with newline characters
Nov
6
revised How to prepare files for rsync on a case insensitive filesystem?
edited tags
Nov
6
revised How to prepare files for rsync on a case insensitive filesystem?
edited body
Nov
6
comment How to prepare files for rsync on a case insensitive filesystem?
I happen to have two really nasty files: [Cc]hr$(32).ttf .Your script doesn't find them.
Nov
6
answered How to prepare files for rsync on a case insensitive filesystem?
Nov
6
revised How to prepare files for rsync on a case insensitive filesystem?
added 139 characters in body
Nov
6
revised How to prepare files for rsync on a case insensitive filesystem?
added 212 characters in body
Nov
6
comment How to prepare files for rsync on a case insensitive filesystem?
@JosephR. Absolutely. Anything that runs on *nix is acceptable. The zsh is misleading, maybe I should remove it.
Nov
6
revised How to prepare files for rsync on a case insensitive filesystem?
added 46 characters in body; edited tags