You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm testing openmpi 5.0.0, which includes prrte.
Now openmpi-5.0.0 includes pterm and pterm.1. Unfortunately there is a name collision with other software, the pterm client for putty: https://tracker.debian.org/pkg/putty
Can the name be changed?
thanks
Alastair McKinstry
The text was updated successfully, but these errors were encountered:
Hi, I'm maintainer for openmpi in Debian/Ubuntu.
I'm testing openmpi 5.0.0, which includes prrte.
Now openmpi-5.0.0 includes pterm and pterm.1. Unfortunately there is a name collision with other software, the pterm client for putty: https://tracker.debian.org/pkg/putty
Can the name be changed?
thanks
Alastair McKinstry
The text was updated successfully, but these errors were encountered: