this post was submitted on 22 Jul 2023
22 points (89.3% liked)

Linux

48184 readers
1419 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
AgreeableLandscape@lemmy.ml
nooter692@lemmy.ml
MarcellusDrum@lemmy.ml
cypherpunks@lemmy.ml
cyclohexane@lemmy.ml
d3Xt3r@lemmy.nz
22
Error Partitioning Void Linux (lemmy.ca)
submitted 1 year ago by CkrnkFrnchMn@lemmy.ca to c/linux@lemmy.ml
7 comments fedilink hide all child comments
 

Hey, For some reason(s) after I start my Void system I have 2 /Home partitions. One is /Home/Void and the second one is /Home/Moi. Now I suspect the Void one is because I kept Void as a user and the second one is because I changed the name Void User to Moi. Now for the weird part... /Home/Void uses the / allocated space while the /Home/moi uses what I put in while partitioning my drive.

Any help on this would b e much appreciated...am not that savvy with Linux so have no idea what's happening

you are viewing a single comment's thread
view the rest of the comments
[–] CkrnkFrnchMn@lemmy.ca 1 points 1 year ago (1 children)

[–] Laser@feddit.de 2 points 1 year ago (1 children)

I'd say this is a very unusual setup. Normally, you give /home its own partition and then create user directories in there.

OTOH, nothing about this should break anything. What you can do if you're savvy enough:

  1. Create a directory with your username in your home directory
  2. Move everything in your home directory into that new one (preferably do this as root so that you're not using any files in there I guess). Careful as moving dotfiles can be tricky. find should be the correct tool here, but I can't tell you the proper command right now
  3. Move /home/void next to (not into) that new directory. You should now have void and moi as the only two entries in /home/moi
  4. In /etc/fstab, change the mount point for your home partition from /home/moi to /home.
  5. Reboot (or remount manually)

Please, before doing this, let someone else look over this and preferably expand. I just wrote this down on my phone while on a train ride without access to a Linux machine to verify anything. Also some of these steps are not exactly beginner level.

[–] CkrnkFrnchMn@lemmy.ca 2 points 1 year ago

That was dumb of me...No wonder the system made that extra dir. Am gonna redo that box and play with it. My next task is to install Openvpn so I can get PIA going because they don't have a runit version.

Thanks for your time...