Honestly I had no idea what ctrl+d even did, I just knew it was a convenient way for me to close all the REPL programs I use. The fact that it is similar to pressing enter really surprised me, so I wanted to share this knowledge with you :)

  • Arthur Besse@lemmy.mlM
    link
    fedilink
    English
    arrow-up
    2
    ·
    23 hours ago

    A ctrl-d does nothing on a non-empty line.

    ctrl-d actually is flushing the buffer regardless of if the line is empty or not.

    See my other comment for how you can observe it.