Skip to main content
Unix & Linux

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

9
  • Thanks! DoesCtrl+D mean Ctrl and capital D or it doesn't matter? Commented Jul 9, 2011 at 16:31
  • 12
    @Tim: it's lower case you want ... the convention of writing keyboard commands with capitals comes because the labels on the keyboard are always in capitals and the thing being described is a KEY SEQUENCE not the actual character code that the program sees. Yes this is confusing sometimes. Commented Jul 9, 2011 at 16:32
  • @Caleb: Thanks! How shall one specify that the key is in capital? Or is there ever such case? Commented Jul 9, 2011 at 16:37
  • 2
    @Tim On a terminal, the key combinations Ctrl+Shift+D and Ctrl+D send the same character anyway (character number 4, usually called Ctrl+D). Commented Jul 9, 2011 at 16:41
  • 2
    @Tim The terminal received Ctrl+D. It does not send a character to the program. What happens is that when the program reads from the terminal, the terminal tells it “this is the end of the file”, same as when a program tries to read after the end of a disk file. The shell is not involved at all. Commented Mar 3, 2016 at 17:02