2020-12-09 20:41 UTC, Russ Woodroofe: > > Dear all, > > We troubleshot this off-list. The problem turned out to be with > the oh-my-zsh addon for zsh, which apparently breaks gap. > > It might be worthwhile to document this conflict somewhere > in the install documentation for GAP, as it looks like it'll be > a problem for anyone using zsh with this add-on. > Best,
Did you pinpoint what in oh-my-zsh causes the problem? _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum
