android: getcwd and default-pathname-defaults are different
this is because we manually set default-pathname-defaults in our scripts etc. This may be addressed with
(ext:chdir …)
this is because we manually set default-pathname-defaults in our scripts etc. This may be addressed with
(ext:chdir …)