# HG changeset patch # User Markus Mützel # Date 1655746620 -7200 # Node ID 7e6e70dd1c0da5b1da7420d335296fe40db266c2 # Parent 97918dca79ed83d587e5fcac9a11dd0807843af9 dir: Use canonicalize_file_name also for UNC paths. * scripts/miscellaneous/dir.m: canonicalize_file_name also works for UNC paths since d7223245d26f. Remove condition. diff -r 97918dca79ed -r 7e6e70dd1c0d scripts/miscellaneous/dir.m --- a/scripts/miscellaneous/dir.m Mon Jun 20 19:32:13 2022 +0200 +++ b/scripts/miscellaneous/dir.m Mon Jun 20 19:37:00 2022 +0200 @@ -157,12 +157,7 @@ if (! is_same_file (last_dir, tmpdir)) ## Caching mechanism to speed up function last_dir = tmpdir; - if (ispc () && strncmp (last_dir, '\\', 2)) - ## Windows UNC network file name is used as is - last_absdir = last_dir; - else - last_absdir = canonicalize_file_name (last_dir); - endif + last_absdir = canonicalize_file_name (last_dir); endif info(cnt).folder = last_absdir; lt = localtime (st.mtime);