• Björn Tantau@swg-empire.de
    link
    fedilink
    arrow-up
    61
    ·
    3 days 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.

    • killeronthecorner@lemmy.world
      link
      fedilink
      English
      arrow-up
      8
      ·
      3 days ago

      Describing the outcomes in terms of functions over shell states, as you have, is the quickest and most transparent way of demonstrating that they aren’t the same.

      The article was a fun “scenic route” to the same conclusion, though.