Comment 3 for bug 1686852

Thanks for the comments guys.

This is a university lab machine I am using for testing. It has its own custom setup to ensure easy experiments across different runs, and hence the weird "/users/" setup.

I don't think it's using NFS. Here's the output of "df" and "mount". There seems to be a regular disk /dev/sda1 mounted at "/".

$ df -H
Filesystem Size Used Avail Use% Mounted on
udev 68G 0 68G 0% /dev
tmpfs 14G 11M 14G 1% /run
/dev/sda1 17G 3.8G 13G 24% /
tmpfs 68G 0 68G 0% /dev/shm
tmpfs 5.3M 0 5.3M 0% /run/lock
tmpfs 68G 0 68G 0% /sys/fs/cgroup
ops.wisc.cloudlab.us:/share 54G 2.1G 52G 4% /share
ops.wisc.cloudlab.us:/proj/netopt-PG0 108G 83G 26G 77% /proj/netopt-PG0
tmpfs 14G 0 14G 0% /run/user/20001
/dev/loop0 83M 83M 0 100% /snap/core/1577
/dev/loop1 132k 132k 0 100% /snap/hello/20

$ mount -l | grep sda
/dev/sda1 on / type ext3 (rw,relatime,errors=remount-ro,data=ordered) [/]
/dev/sda1 on /var/lib/docker/aufs type ext3 (rw,relatime,errors=remount-ro,data=ordered) [/]