this post was submitted on 28 Oct 2023
26 points (96.4% liked)

Linux

47988 readers
1547 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
 

I recently installed debian 12 using debian-12.2.0-arm64-netinst.iso. It is the only OS installed and I used the whole 500GB disk.

I selected something like guided partitioning with separate /home/ using LVM and encryption. Now that I am using my system a bit, I realize that I don't think it ever asked me how big to make the / partition and it is very small. Only 27GB.

Will this be a problem?

Or, is the LVM going to allow the partition to be resized or otherwise take up as much of the space as it requires?

# lsblk
NAME                    MAJ:MIN RM   SIZE RO TYPE  MOUNTPOINTS
sda                       8:0    0 476.9G  0 disk  
├─sda1                    8:1    0   512M  0 part  /boot/efi
├─sda2                    8:2    0   488M  0 part  /boot
└─sda3                    8:3    0   476G  0 part  
  └─sda3_crypt          253:0    0 475.9G  0 crypt 
    ├─mycomputer--vg-root     253:1    0  27.9G  0 lvm   /
    ├─mycomputer--vg-swap_1   253:2    0   976M  0 lvm   [SWAP]
    └─mycomputer--vg-home     253:3    0   447G  0 lvm   /home

I tried booting into a live usb to resize the partition using gparted but I couldn't seem to do so.

If I need to reinstall and change something I'd rather do it now than later.

you are viewing a single comment's thread
view the rest of the comments
[–] Cwilliams@beehaw.org 1 points 1 year ago

Thanks for the explanation! I looked into it, and it's actually not possible to boot from a USB drive on my school's computers without an admin password 😢. But thanks anyway!