New answers tagged uuid
I emailed Gregory Shrago at JetBrains. He fixed the issue and it should be available in the latest Early Access Preview. The bug status is updated here: http://youtrack.jetbrains.com/issue/IDEA-104501
Unmount the partition: # umount /part Rename the directory after making sure it's not mounted: # mountpoint /part &>/dev/null || mv /part /best_name_ever Edit /etc/fstab to replace /part with /best_name_ever Remount the partition: mount /best_name_ever The # is of course meant to represent your root prompt, not actual input to be typed in. ...
Top 50 recent answers are included