135 reputation
116
bio website
location Milan, Italy
age
visits member for 3 years, 4 months
seen Sep 16 at 8:05

Programmer and musician


Sep
2
comment Run Java applets on Chrome 36 on Linux x86_64
what a shame I add... I wonder which spooky threats I have risked with a java enabled browser in the past... o_O
Aug
28
comment Batch converting PNG to JPG in linux
@KevinCox on my linux box after mogrify -format jpeg img.png I have 2 files and file img.* reports one png, the original untouched, and a new jpeg one. So mogrify does not overwrite original files in this case.
Jul
18
comment Batch converting PNG to JPG in linux
I wonder how can this overwrite original files if the filename changes... in fact jpg files keep untouched ;) Ah, +1
Jan
4
comment Added extra RAM the notebook won't start
So my initial thought about using it for spare parts – beside upgrading my pc :D — is not a good practice. Not even for the power supply... Good tip, thanks.
Jan
4
comment Added extra RAM the notebook won't start
@DaveRook: ok but both machines are of the same series and differ only on display size. Also both RAM, the one in my pc and the one I wanted to add, look exactly the same looking ant stickers on them... Also REPLACE WITH HP SPARE ...
Jan
4
comment Added extra RAM the notebook won't start
Thanks, yes probably the RAM is gone too... thanks
May
12
comment free linux command line tool to convert SVG to PDF and/or some commonly-used bitmap format?
Thanks, for sure this answer deserves more and more upvotes
Mar
23
comment Will Windows 7 Home Premium access company domain?
and what about logging into company domain? Please see my question updated