The DOS "dir" command continues to refuse to cooperate but running the Windows "right-click->Properties/Tools/Error checking" fixed the older of the two duplicate directory names to be a distinct 8.3 (prefix.suffix) name. I suppose I deserve what I get for buying the cheapest USBs from Amazon.
On Thu, Mar 30, 2023 at 12:04 AM Raul Miller <[email protected]> wrote: > Ah... you may need to also use /a:h to show hidden files. > > That said, it could also be that the file system was damaged, and that > reformatting was the right course of action. > > -- > Raul > > On Wed, Mar 29, 2023 at 10:36 PM Devon McCormick <[email protected]> > wrote: > > > > Thanks for the tip but it appears that "dir" from the DOS command line > > thinks there is nothing to see there. The J "dir" command works better. > > > > On Wed, Mar 29, 2023 at 7:48 PM Raul Miller <[email protected]> > wrote: > > > > > I have not seen anything like this, but in the older "fat" file system > > > formats, I remember that files (and directories) had two names -- a > > > longer "display name" and the "short name" which was the real > > > identifier for the file. And, it's entirely possible that a usb drive > > > would have been formatted as a FAT filesystem (perhaps even FAT32 if > > > it was a small drive, but more likely exFAT). > > > > > > dir /x would display the short names. > > > > > > I hope this helps, > > > > > > -- > > > Raul > > > > > > On Wed, Mar 29, 2023 at 7:07 PM Devon McCormick <[email protected]> > > > wrote: > > > > > > > > Hi, this is not really a J question but I used a little J to confirm > > > > something. > > > > > > > > A recently purchased thumb drive showed me that there are apparently > two > > > > top-level directories with the same name: > > > > dir 'F:*' > > > > +-------------------------+-------------------+-+---+------+ > > > > |System Volume Information|2023 3 29 17 13 44 |0|rw-|-hs-d-| > > > > +-------------------------+-------------------+-+---+------+ > > > > |System Volume Information|2022 12 31 17 58 50|0|rw-|-hs-d-| > > > > +-------------------------+-------------------+-+---+------+ > > > > -:/&><"1|:dir 'F:*' > > > > 1 0 1 1 1 > > > > > > > > We see from the above that the names are identical. I was unable to > > > rename > > > > either one so, with no way of distinguishing between them, I ended up > > > > reformatting the drive. > > > > > > > > This is under Windows 10. Has anyone ever seen something like this? > > > > > > > > -- > > > > > > > > Devon McCormick, CFA > > > > > > > > Quantitative Consultant > > > > > ---------------------------------------------------------------------- > > > > For information about J forums see > http://www.jsoftware.com/forums.htm > > > ---------------------------------------------------------------------- > > > For information about J forums see http://www.jsoftware.com/forums.htm > > > > > > > > > -- > > > > Devon McCormick, CFA > > > > Quantitative Consultant > > ---------------------------------------------------------------------- > > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > -- Devon McCormick, CFA Quantitative Consultant ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
