267 reputation
28
bio website kevincox.ca
location Ottawa, Canada
age 19
visits member for 2 years
seen Jul 18 at 19:38

Jul
17
awarded  Tumbleweed
Jul
10
asked Is there a “conventional” method of preventing nickname highlighting
Jun
10
awarded  Nice Answer
Dec
26
awarded  Yearling
Dec
14
revised Does it make sense having FPS higher than the monitor refresh rate?
Updated link.
Dec
14
suggested suggested edit on Does it make sense having FPS higher than the monitor refresh rate?
Dec
14
comment Linux sort all data in memory
Note that is is the amount of memory used not the amount of input sorted at once. If you are sorting a 2GiB file you will need more than -S2G.
Dec
6
comment Linux sort all data in memory
@grawity, But tmpfs has a set size, so you can run out of "disk space" on your ram disk. For example I have 4GiB of ram but sorting a 3GiB file fails because I only have a 2GiB ram disk. It is also less efficient because it has to worry about "writing it out" and "reading it back".
Sep
18
comment How to start gVim maximized?
This also causes the window to become huge if you un-maximize it.
Sep
2
awarded  Necromancer
Aug
28
comment Batch converting PNG to JPG in linux
@neurino This happens on my box as well. Now I'm really confused, it this a bug? Or an undocumented feature?
Aug
28
comment Batch converting PNG to JPG in linux
@neurino Interesting. From the mogrify man page: "mogrify - resize an image, blur, crop, despeckle, dither, draw on, flip, join, re-sample, and much more. Mogrify overwrites the original image file, whereas, convert(1) writes to a different image file." So I don't know why that happens on your box.
Aug
27
accepted What are good compression algorithms for delta synchronization?
Aug
27
awarded  Commentator
Aug
27
awarded  Scholar
Aug
27
comment What are good compression algorithms for delta synchronization?
But with the space it works? That is strange. I will read up when I get a chance, always something to learn :D
Aug
27
comment Batch converting PNG to JPG in linux
@neurino The file name isn't changed in the mogrify example. The files still have a .png extension but are jpeg images. Try using file img.png (after running mogrify) and it will tell you that it is a jpeg image.
Aug
27
revised Batch converting PNG to JPG in linux
Added portability notes.
Aug
27
revised Batch converting PNG to JPG in linux
Added portability notes.
Aug
27
revised Batch converting PNG to JPG in linux
added 8 characters in body