503 reputation
415
bio website
location Norway
age
visits member for 2 years, 10 months
seen Apr 18 at 17:26

Dec
13
comment How do I open a random file in a folder, and set that only files with the specified filename extension(s) should be opened?
@galacticninja I don't know. If you have (further) programming questions related to this, I suppose you'll get better help at StackOverflow.
Dec
4
comment Mistakenly overwritten USB HDD with linux dd command
@user1561108 Good explanations of Ramhound and FrankThomas. Photorec is worth a try for those files not wholly overwritten by the ISO.
Dec
2
comment Automatically mounting Truecrypt volumes at user login time
How should the user be prompted for the password / keyfile?
Nov
30
comment Moving cursor in PuTTY with mouse click?
Cool, it works through PuTTY in nano! :-)
Nov
30
comment How to apply audio track to a mute h264/mp4-video losslessly?
Sweet! Especially nice that you explained the arguments and the usage of the mapping.
Nov
30
comment How to apply audio track to a mute h264/mp4-video losslessly?
This is what I'm looking for. Although I've used ffmpeg before, I can't remember its arguments. I suppose they have to do with codec/format, but what do -v:c, -a:c and -an stand for?
Nov
30
comment How do I open a random file in a folder, and set that only files with the specified filename extension(s) should be opened?
@galacticninja You could assign a variable with mypath=raw_input("Enter path:"), and then use that in the glob...
Nov
30
comment How do I open a random file in a folder, and set that only files with the specified filename extension(s) should be opened?
@galacticninja Just prepend the glob-string with your path, like: files = glob.glob("/my/path/*.jpg")
Nov
30
comment How do I open a random file in a folder, and set that only files with the specified filename extension(s) should be opened?
@galacticninja To choose only PNG-files, replace files = glob.glob("*.jpg") with files = glob.glob("*.png"). To choose among multiple filetypes, see my edit (the example with mkv, mp4, tp).
Nov
30
comment How do I open a random file in a folder, and set that only files with the specified filename extension(s) should be opened?
Would you be open to writing this in something other than a batch-script? It would be a piece of cake to achieve with far less code in for example Python...
Nov
30
comment How do I remove the header/footer of some pages?
Haven't you got the answer you were looking for, since you haven't accepted?
Nov
30
comment Setting the first letter of a selection to be bigger and colored different than the rest
It would be nice if you accepted the (best) answer given to your question.
Nov
29
comment how to set Outlook rule to check if you are the only one on the TO: line
This would trigger also if his address is among several recipients in the To-field.
Nov
29
comment Explorer: programmatically select file/directory with space in the path
@MikeL. The Java-part of the question is better suited for StackOverflow. Maybe this can help: stackoverflow.com/questions/4746953/…
Nov
29
comment How to set custom DNS server for Chrome browser?
What OS are you on? It's not an option to modify /etc/hosts (or its equivalent) on your computer (the one with Chrome)?
Nov
28
comment .zshrc alias for ssh gives “unknown host”
What do you mean by "get my internet"?
Oct
4
comment Can I enter in Safe Mode on Windows 8?
Not programming related, hence not suited for SO. May be suited for SuperUser...
Oct
4
comment Leaving the charger in the laptop after it is fully charged
May be suited for SuperUser, but not SO...
Sep
29
comment Can't open photos in Google-earth
Welcome to SU. If you want to check facts about the question before answering, it's a good idea asking that question as a comment to the original question.
Dec
28
comment Ubuntu Linux running VirtualBox with Windows 7 as a guest OS
Please state your question in the title, so that we won't have to read your entire post to get a grip on your question!