• Björn Tantau
    link
    fedilink
    631 month ago

    I often exit a shell with ctrl+d. And I often see if a shell is still connected by pressing enter. They are definitely not equivalent.