To adjust the partition size in Linux, follow these steps:
Partition Adjustment
Note:
The disk space of the root partition of the server is insufficient, but the total disk space of the server is sufficient. Solution: reduce the disk space of the/home partition by 500 GB and allocate the disk space to the root partition as follows:
Procedure
1. Stop the Tomcat application in the home directory and temporarily detach the mounted shared disk.
2. view the current partition status of the machine.
3. unmount the home partition of the server and compress the size of our home partition.
4. At this time, we re-load our home directory. We can see through the running results that we compress the home partition to 20 GB (according to the actual situation, modifying the settings will cause file loss if it is set to an hour later. Be careful! Be careful! Exercise caution !)
In this way, the home is compressed and reloaded, as shown in figure
5. Release Space
Note: 38 GB is the compressed capacity, which must be modified according to the actual situation.
6. view available space
7. Add the compressed disk space to the root user.
Reload the root Partition
8. view the current partition status of the machine.
9. Start the stopped application and remount the shared disk to the original directory.