How would you do that? Just rely on the user agent? I use curl quite a lot, but don't pipe to a shell.