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

Linux

47951 readers
1519 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
[–] [email protected] 2 points 1 year ago (1 children)

I'm totally going to try that now! I wonder if I could use this to avoid Windows on the terrible computers at my school. Does it boot just like installation media or something?

[–] [email protected] 1 points 1 year ago* (last edited 1 year ago) (1 children)

That is why I'm actually doing it, we have a couple of old workstation with Win7 we almost never use at my workplace. I use my portable debian on these machines to practice bash scripting, python and recently docker.

I few thing to consider:

  • use the fastest usb drive you can get, you will be held back by its access/write speed
  • Install the boot loader on the usb drive.
  • you can install 'xrdp' to access remitly using thw windows remote desktop.
  • You will probably find a docker image of things you are interested in, I recently switch from codium (apt) to codercom/code-server docker image, this way I can access vscode from a browser on any worstation on my workplace.
  • Routing can be a bit challenging if your organisation/school use its private intranet, but I set my debain instance (with my phone attached to it in usb tithering mode) to use tinyproxy to connect to the internet from (preferably portable) firefox from any workstation at my workplace.
  • Dont tell my boss.
[–] [email protected] 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!