879 reputation
49
bio website
location
age
visits member for 2 years, 6 months
seen Apr 8 at 15:25

Dec
11
comment Command to get cpu cores in LINUX IA64
Could you point me where in POSIX /proc/cpuinfo is specified? I've just looked in the SUSV4 and didn't find it.
Dec
9
comment How to avoid “make” redoing a library
@Max13, The principle of make is that it rebuilds files which are not uptodate with respects to their dependencies. I.E. all rules are file names. (Some make variant have a way to indicates that a rule hasn't the purpose to build a file, see .PHONY in GNUmake for instance, but then they are always executed)
Dec
9
revised How to avoid “make” redoing a library
added 59 characters in body
Dec
9
answered How to avoid “make” redoing a library
Nov
30
comment I need to transfer a very large folder over FTP, without creating a file first
Using mget with the basic ftp clients should work for one directory (but not sub directories).
Nov
30
answered Pasting from clipboard to vi-enabled zsh or bash shell
Nov
29
answered How universal is the -L (dereference symlink) switch of the 'ls' command?
Nov
28
answered How to save the results from ls to a command?
Nov
22
comment Fastest way to determine if two sorted lists contain unique elements
If the OP doesn't want to know which line is present but just that there is one, adding -l should makes grep quit as soon as a match is found without reading the rest of the big file
Nov
13
comment Is using xargs faster than not using it?
Another point is that in the pipe version, the rm and find are working in parallel (at least if there is enough files to remove). I'd not be surprised that some times it helps, sometimes it hinders the performance.
Nov
11
awarded  Commentator
Nov
11
comment How to cd into the named directory if command not found?
Do you have defined your function with () or {} around the body. If I'm not mistaken, with {} zsh shouldn't launch a subshell to execute the command not found handler.
Nov
10
comment How I can know the IP address of other users logged at the same remote machine?
When I log in a distant machine, who gives me my origin machine name on both linux and solaris (last field, between parenthesis, when logged in locally from X I get the X display). Getting the IP from that should be easy (nslookup, host)
Nov
3
comment .bashrc doesn't get executed
I've felt the need to do things for login shells that weren't done for interactive non login one, never the reverse.
Nov
2
answered .bashrc doesn't get executed
Oct
12
answered Directory/files owned by a non-existent user
Sep
28
comment Is there ever a reason to use `cat` when you've got `less`?
For one file, redirecting the standard input is also possible and often preferable.
Sep
28
awarded  Critic
Sep
24
awarded  Student
Sep
24
comment Which application should I blame for compulsively creating a directory again and again?
It probably doesn't help you if you aren't using an environment trying to comply. The display manager could be the culprit, but I doubt it is the case and it would do it at each login. Installation procedures could well assume a complying environment, but the directory wouldn't be empty afterwards if it tried to put something on the Desktop.