Ctrl-D doesn't work in 8.2.1 for win64 on Windows 10

Have you tried end_of_file.? (ref)

1 Like