Free Republic

The basic need is not that of changing all file names (multi commander has that in the menu) but that of changing the case of all the characters within a text that begin with http and end with html. The situational context (take deep breath) is of html files which used to work on a Windows server, but being now on a Linux server which are case sensitive - and with a unresolvable glitch (read on), then it seems that unless one can edit a server's httpd.conf then clicking on a link that begins with a upper case letter can...

Ok good linuxian folks, Here's what I'd like to do IF possible- Dual boot windows 10 and linux mint cinnamon BUT have windows 10 run again in linux under a virtual machine (yes I know it sounds redundant, but i have a reason for this setup if possible) I'm not sure if I coudl install windows 10 twice on one machine or not, but let's for now just assume i could- (windows 10 is 'free' and you can download the iso for it and use it without activating it legally- the iso is direct from MS- and while I don't...