In the ribbon, you'll then find a checkbox titled File name extensions check that box, then close File Explorer. In the ribbon at the top of the window, click View. Windows 10: From the desktop, start File Explorer by holding down the Windows key and pressing E.In that menu, select Show, then, if File name extensions doesn't have a checkmark next to it, select it (to turn that feature on). ![]() In the toolbar at the top of the window, click View, which will reveal a menu. ![]() Windows 11: From the desktop, start File Explorer by holding down the Windows key and pressing E.This default is fine for casual users, but is certain to cause us problems in this course - and routinely causes problems for students in courses where there is programming involved - so everyone needs to turn this off, which is easy to do: By default, when Windows displays a list of filenames (e.g., in File Explorer, Windows Explorer, or on the desktop), it hides the "file name extension" (i.e., the part of the filename that follows the last dot), so that a file named alex.txt will simply have its name displayed as alex instead, with an icon used to visually differentiate one "type" of file from another. ![]() The first step is not to install a software package at all, but to reconfigure a Windows default that is fine for everyday users, but very troublesome for those of us who write programs or do other serious work.
0 Comments
Leave a Reply. |