I have this SD card I keep plugging in and yanking, and when it's plugged in I have a prompt in the directory `/media/mcc/3930-6663/Cores/agg23.RISCV`. And if I yank the SD card then plug it back in, that directory is no longer mounted due to being yanked— I `ls` to list the files & it gives an error. So to make it work again, I have to `cd .` which is a Linux command equivalent to "go to the current directory". Normally it's a no-op but in this case, it causes it to correct pwd to the new mount