Thank you! Funnily enough, I have recently installed the bash shell for Windows 10 because I heard that it is good for file management/modification etc., so this will give me a chance to have a play around with it. Thanks!