RepeatFile = Key

 

Default:           F12

 

Repeats the previous matching filename during filename completion.

 

See other Command Line Editing Keys.