ABOUT UDEV udev – Linux dynamic device management udev (userspace /dev) is a device manager for the Linux kernel CONFIG FILE RELATED # do not edit this file, it will be overwritten on update ACTION==”remove”, GOTO=”cdrom_end” SUBSYSTEM!=”block”, GOTO=”cdrom_end” KERNEL!=”sr[0-9]*|xvd*”, GOTO=”cdrom_end” ENV{DEVTYPE}!=”disk”, GOTO=”cdrom_end” # unconditionally tag device as CDROM KERNEL==”sr[0-9]*”, ENV{ID_CDROM}=”1″ # media eject button pressed …
Daily Archives: December 1, 2011
bubble sort testing… 0.00005 Ver — 2000 No.’s related
$time php bubble.php real 0m2.076s user 0m1.736s sys 0m0.052s $time php bubble.php real 0m1.8100s user 0m1.680s sys 0m0.044s $time php bubble.php real 0m1.935s user 0m1.672s sys 0m0.052s $time php bubble.php real 0m1.861s user 0m1.676s sys 0m0.040s $time php bubble.php real 0m2.076s user 0m1.708s sys 0m0.064s $time php bubble.php real 0m1.850s user 0m1.640s sys 0m0.060s $time …
Continue reading “bubble sort testing… 0.00005 Ver — 2000 No.’s related”