[SOLVED] Partitioning the disk after installing mint cinnamon
Linux MintThis forum is for the discussion of Linux Mint.
Notices
Welcome to LinuxQuestions.org, a friendly and active Linux Community.
You are currently viewing LQ as a guest. By joining our community you will have the ability to post topics, receive our newsletter, use the advanced search, subscribe to threads and access many other special features. Registration is quick, simple and absolutely free. Join our community today!
Note that registered members see fewer ads, and ContentLink is completely disabled once you log in.
If you have any problems with the registration process or your account login, please contact us. If you need to reset your password, click here.
Having a problem logging in? Please visit this page to clear all LQ-related cookies.
Get a virtual cloud desktop with the Linux distro that you want in less than five minutes with Shells! With over 10 pre-installed distros to choose from, the worry-free installation life is here! Whether you are a digital nomad or just looking for flexibility, Shells can put your Linux machine on the device that you want to use.
Exclusive for LQ members, get up to 45% off per month. Click here for more info.
Partitioning the disk after installing mint cinnamon
Hello there,
I installed Linux Mint Cinnamon 20 as a single OS for my laptop, erasing Windows 7. But I forgot to partition the disk. Now I want to keep the OS data and user data on different partitions. What may be done now? May I partition now without disturbance to OS files? How? Or I have to go through re-installation?
you need to boot another OS (from pendrive?) shrink partition, add new partition and reconfigure your system.
Probably faster to reinstall with different partitioning, if there was no any [important] data stored on that disk. Anyway, better to save your files before start.
Years ago, I did this (moving /home to a separate partition) -it can be done fairly easily, but rather nerve-wracking for a newbie!
Unlike Windows, configuration files do not refer to files by a disk identifier, so you will not get any problems because /home is mounted as a different partition.
Years ago, I did this (moving /home to a separate partition) -it can be done fairly easily, but rather nerve-wracking for a newbie!
Unlike Windows, configuration files do not refer to files by a disk identifier, so you will not get any problems because /home is mounted as a different partition.
Yes, you are right. It is very confusing for me at the time. Actually I can't figure out what is mounting in Linux terminology? what is mounting a directory? Like when you say;
To linux everything is one big file system (tree). The OS presents everything to the user as part of that tree. So to access the data on a device, for example a file partition, it has to be attached to, i.e. mounted on, that tree. The mount point is an existing directory. If you look at the /dev directory you will see lots of devices, some of which don't exist but that is another story. But the ones you will be working with will be sda1, sda2 or something like that. sda is the first hard disk, sda1 is the first partition on the first hard disk. I'm not sure what an sdd is listed as but the nomenclature will follow a similar pattern. You may also see usb1, etc., i.e. usb devices. So you mount devices with the mount command, e.g.
Code:
mount -t ext4 /dev/sdb2 /home/user/tmp
That means attach device sdb2, the second partition on the second hard drive, at the directory /home/user/tmp. From then on you don't worry about the device, just use the directory.
Now directly to your problem. You can not make changes to a mounted device, in your case partition. Since you only have one partition, the running system, you cannot change it while it is running. You can reinstall setting up the partitions as you want them, or you can change things. To change them you cannot unmount your system or it will freeze, no system to run. So what you do is run another system, for example the system on an installation disk, and repartition your drive.
I would recomment using gparted. It should be available, perhaps as an icon or in the menu or else from the terminal with
Code:
sudo gparted
Reduce the size of your single partition and create a new partition in the now unallocated space. DO NOT MOVE THE EXISTING PARTITION, just shrink it or GRUB won't be able to find it and you can't boot. Then you will have to reinstall unless you know how to install GRUB. But now you have the second partition you wanted, so you can reboot, manually mount that second partition, and off you go. Of course you will probably want to set it up for automatic mounting in /etc/fstab but that is another story. See
Code:
man fstab
for example.
By the way, your home directory should /home/<username>. That is where you will mount the new partition. Be aware that you will probablywant to mount it elsewhere first, copy the existing home directory to the new one, and then mount the new one at /home/<username>.
If you don't mind losing any data, a custom reinstall is quicker/safer.
Of course, as long as yo have backups you can retain backed up data.
Also, if you attempt an in-place modification and it goes bad, a full reinstall with partitioning during the install is still a fallback option.
Let fear make you take precautions, do research and hesitate long enough to consider the risk: never let it stop you.
I'm not surprised. In most cases that is the easiest and safest option. At least you know you have options, now, and hopefully understand the filesystem a little better. Glad I could help.
LinuxQuestions.org is looking for people interested in writing
Editorials, Articles, Reviews, and more. If you'd like to contribute
content, let us know.