Reminder that binaries cannot change a shell’s working directory, so the non-mines will do nothing.

(cd is a shell builtin)

it could just reinvoke $SHELL in the parent dir