this post was submitted on 06 Jul 2023

13 points (84.2% liked)

Linux

48008 readers

1703 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

Posts must be relevant to operating systems running the Linux kernel. GNU/Linux or otherwise.
No misinformation
No NSFW content
No hate speech, bigotry, etc

Related Communities

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

founded 5 years ago

MODERATORS

[email protected]

let's play make more space on / (lemmy.world)

submitted 1 year ago by [email protected] to c/[email protected]

17 comments fedilink hide all child comments

I have the unique pleasure of waiting as /usr is copied back to my Ubuntu SSD after offloading it to a sea of spinning rust to save some space. Surprise surprise Ubuntu keeps almost everything in /usr these days and it didnt boot :l but hey, at least BusyBox in initramfs has my back for times like these. Can i mount a specific ext4 directory with options? the issue seems to be my attempt at using a bind mount fails while running from the ramdisk, for whatever reason it wont mount my large data drive on /data

top 13 comments

sorted by: hot top controversial new old

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

I’m not too familiar with Ubuntu, but the arch wiki has a section about moving /usr to a separate partition: https://wiki.archlinux.org/title/Mkinitcpio#/usr_as_a_separate_partition

Maybe using these instructions, you can still offload /usr to a mechanical drive.

Just out of curiosity, how large is your /usr directory? Mine is only 30GiB (arch Linux, kde plasma with all apps + hyprland), which only takes up 17GiB on my disk due to btrfs compression (zstd level 15).

[–] [email protected] 1 points 1 year ago

Ohh I like the sound of that compression ratio, I'll have to look into it. I'm just using ext4, plus I should repartition the whole disk I'm throwing away another 50Gb keeping my home partition on the SSD...

My /usr is 35Gb but I'm squeezing Ubuntu into a 50Gb partition and between docker, snapd, postgres, apt, and Minecraft it's hitting 100% weekly.

Im pretty sure it would be fine if i was trying to dedicate a whole partition to /usr, maybe that's the right answer after all

[+] [email protected] 3 points 1 year ago* (last edited 1 year ago) (2 children)

[deleted]

[–] [email protected] 2 points 1 year ago (2 children)

I'm surprised you can't put /usr on a separate partition. Back in my SunOS days, we used to NFS mount /usr on all our workstations.

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

You totally can, this is some weirdness in the mount order during boot and not having the disk available at the same path in the init ramdisk

Also, Ubuntu making bin a link to /usr/bin doesn't help :P

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

Interestingly, when I added the bind mount to /usr the init environment failed when trying to set up the actual root fs because it was trying to bind mount from the init ramdisk filesystem paths into the new root path. im sure I could cloodge together a script to patch things up in the initrd but my days of straying from a sane upgrade path on Ubuntu are over (now I just do that on nixos because I don't know what I'm doing)

[–] [email protected] 3 points 1 year ago (1 children)

I would think you could put /usr on a separate disk just fine, as long as it was available to mount at boot time.

How small is your SSD that you're trying weird stuff to save space? Even in the tens of gigs should be enough to run Ubuntu. I just checked two full desktop systems, and they are 32 and 24 GB used for the root partition.

[–] [email protected] 1 points 1 year ago

I'm just irresponsible with installing software on my desktop machine. It's a 50g partition but I use it for music, software development, and some games (looking at you flightgear) which eventually add up. I've been slowly moving pieces of the setup onto a 3tb rust gyroscope with mostly success. Luckily this blunder was recoverable and I'm back to where I was before

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

Have you considered btrfs compression?

[–] [email protected] 2 points 1 year ago (1 children)

Not until now! Isn't there some lore around btrfs or something...

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

the lore is that it's fucking great

[–] [email protected] 2 points 1 year ago

Damn that's awesome

load more comments