this post was submitted on 09 Apr 2024
301 points (98.7% liked)
Linux
47287 readers
1676 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
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Short version: How do I install apps onto a different partition from the default in Pop_OS! (preferably from within the Pop Shop GUI)?
Long version: I have a dual boot with Windows and I shrunk my Win partition to install linux and eventually realized I wanted more space on the linux side so I shrunk my windows partition again. But Linux won't let me grow the existing partition since the free space isn't contiguous. Since I don't want to reinstall everything, I just created a data partition and have been using that for Steam installs. But I am still running low so yeah, looking to move some apps and realized it doesn't actually ask me where to install when I install. I saw this thread and figured I'd just ask.
Use gparted live to shrink/expand partitions
You can move partitions so they are next to each other and then expand. The easiest way Ive found is to boot a love USB distro, since the partitions can't be mounted when you do it. Open parted and you can resize and move around.
Backup before you do it!
This is the way. There is a GParted distro that you can boot from a USB-drive that will allow you to move the partition and expand it to take up the free space Windows left.
You should first install GParted to familiarise yourself a little with how the GUI looks. It's relatively simple, definitely simpler than parted, but it doesn't hurt to have a look around before doing it live.
It's also good to note that everything you do in GParted needs to be applied before it's actually done. You "cannot" accidentally delete a whole partition without actually hitting an apply button.
I definitely meant gparted in my reply. That'll teach me to proofread better.
If they are LVM volumes, it would be possible. Otherwise, you can move the directories you want to the new partition and use symbolic links to point to the new places. Then again some things aren't correctly designed, so they may have problems with symbolic links and YMMV.
I don't think there really is an easy way to do this. For sure not as easy as reinstalling.