21.08.2023, 09:47
I have indeed restarted and the paths are valid. Are they supposed to go in a specific part of the .bashrc and .profile files? I assume just anywhere free and not being used by another operation given the lack of notice on where to put them (this is pretty standard for ROM hacking for video games, for instance, so I assume it's an open-source practice).