No. VPN died so your home directory could not have been mounted. I just restarted it. Predrag On Sun, Aug 11, 2019 at 1:44 PM Hitesh Arora <hiteshar at andrew.cmu.edu> wrote: > > Hi Predrag / Autonians, > > Is bash (bash.autonlab.org) down? I am unable to ssh to auton. > > Thanks, > Hitesh