I have Windows 10 on HP DV4 laptop upgraded from windows 7 Professional, thinking of installing Linux mint in order to learn few thing. I have got only one parttion on my HD is it a good idea to dual boot without creating another partition ? Or if anyone could tell me how do I create another partition for Linux without messing up windows 10.