03-10-2020, 12:45 PM
P.S. the aforementioned "linux" directory is at /media/linux and my home directory is, according to file manager, in directory with a long complicated name consisting of a bunch of numbers and letters, but copying the directory location manually into terminal only returns a "no such" error.
Arbor