terminal_auth.pony

1
2
3
4
5
6
7
8
9
primitive TerminalAuth
  """
  Authority to change terminal mode settings.

  Derived directly from `AmbientAuth`, with no intermediate grouping
  capability.
  """
  new create(from: AmbientAuth) =>
    None