I'm glad you found a process that works for you @user7114 - (wow that username feels very dystopian )
Windows does have a default setting that hides file extensions by default, as @Gordon mentioned. This may be what's causing the difference in what you're seeing.
This is one of the first options that I change when using a computer, so I didn't even think of it.
The setting is buried in Windows 8, but I'll try to describe where its at if you want to see how your computer is set and/or change it.
Open control panel,
If view-by is set to categories, change it to large icons
Within control panel, select the Folder Options icon
Within the Folder Options dialog box, choose the 2nd tab titled view
go to the bottom section labeled Advanced settings
UNCHECK the option entitled Hide extensions for known file types
click apply then ok (or just ok) to close the dialog box
You should now see the file extensions of all of the files when viewing a directory on your computer. (The extensions were always there, Windows was just being helpful and hiding them for you.)
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
I'm glad you found a process that works for you @user7114 - (wow that username feels very dystopian )
Windows does have a default setting that hides file extensions by default, as @Gordon mentioned. This may be what's causing the difference in what you're seeing.
This is one of the first options that I change when using a computer, so I didn't even think of it.
The setting is buried in Windows 8, but I'll try to describe where its at if you want to see how your computer is set and/or change it.
You should now see the file extensions of all of the files when viewing a directory on your computer. (The extensions were always there, Windows was just being helpful and hiding them for you.)
I hope this helps.
Cheers.