Stream: Mirror: Isabelle Development Mailing List

Topic: NEWS: SSH connections allow both bash and zsh

Email Gateway (Mar 20 2025 at 10:39):

From: Makarius <makarius@sketis.net>
* System *

• SSH connections allow both bash and zsh as remote shell. This is
  particularly important for macOS, where zsh is the default user shell.

This refers to Isabelle/4fbdef3e2a55.

Makarius

Last updated: Apr 18 2025 at 20:21 UTC