this post was submitted on 03 May 2024
181 points (94.6% liked)
Technology
60101 readers
3180 users here now
This is a most excellent place for technology news and articles.
Our Rules
- Follow the lemmy.world rules.
- Only tech related content.
- Be excellent to each another!
- Mod approved content bots can post up to 10 articles per day.
- Threads asking for personal tech support may be deleted.
- Politics threads may be removed.
- No memes allowed as posts, OK to post as comments.
- Only approved bots from the list below, to ask if your bot can be added please contact us.
- Check for duplicates before posting, duplicates may be removed
Approved Bots
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
I'd done this some time ago via console.
My RE partition had sat before my main partition - and since you can't shrink partitions at their start (left) with fdisk and I didn't want to boot up a Linux pen drive, I just shrank the main partition at its end (right) and moved my RE partition to the now freed space at the end.
I've made the old RE partition available, but since it's just a few hundred MB, I doubt I'll ever actually use it. :-P
PS: If you do it via fdisk, just make sure you first enable the new RE before disabling the old RE. Otherwise there's nothing that can be copied to the new RE - I've made that mistake and had to get the missing files from a Windows ISO.