e.g. /var/share/data/psrdata
and /var/share/home/jweisber
(note that when I first log in to thuban2, I go to a wrong /home jweisber )
–joel 20220804
(But not so fast for mirzam’s /usr/share/astro/ “real” location on thuban2:
when I did a “mount” command on mirzam on 20231231, I discovered that
/usr/share/astro/ on mirzam is really on thuban2’s /var/share/astro_centos7/ ! )
–joel 20231231
tl;dr: this stems from our upgrade from centos6 to 7. The directory still occupying thuban’s
/var/share/astro/ is a carcass from centos6 days!