|If you are looking for files that contain ABC, you must include wildcard characters as shown below:|
$ Dir [...]*ABC*. ! note the trailing DOT
The command above will list any files that contain ABC without any extensions.
Adding the $ after the DOT will show all files with ABC in the name with or without extensions.
For your added pleasure... You can use the % wildcard to limit the possibilities as well. The % is a single character wildcard. For example to locate files that are named ABCx where x is a single character, use the command:
$ Dir [...]ABC%. ! note the trailing DOT