RepeatFile directive
RepeatFile = Key
Default: F12
Repeats the previous matching filename during filename completion.
See other Command Line Editing Keys.