All pull requests

Pull requests

• Add feature role export

  #260·gene1wood opened Aug 18, 2023Contributor·

  ·
  1

• Unset environment variables more consistently.

  #242·smarnach opened Sep 10, 2021·

  ·
  5

• Prompt improvements, primarily for zsh users

  #240·floatingatoll opened Jun 15, 2021Contributor·

  ·
  9

• clean shutdown of listener

  #234·klahnakoski opened Aug 6, 2020·

  ·
  5