/usr/share/man/ is in openmpi-bin 1.4.3-2.1ubuntu3.
This file is owned by root:root, with mode 0o755.
File | Mime Type | Owner | Mode | Size |
---|---|---|---|---|
..
|
||||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/ompi-iof.1.gz
|
application/gzip | root:root | 0o644 | 821 bytes |
/usr/share/man/man1/ompi-ps.1.gz
|
application/gzip | root:root | 0o644 | 957 bytes |
/usr/share/man/man1/ompi-server.1.gz
|
application/gzip | root:root | 0o644 | 808 bytes |
/usr/share/man/man1/orte-clean.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/man1/orted.1.gz
|
application/gzip | root:root | 0o644 | 737 bytes |
/usr/share/man/man1/orte-iof.1.gz
|
application/gzip | root:root | 0o644 | 821 bytes |
/usr/share/man/man1/orte-ps.1.gz
|
application/gzip | root:root | 0o644 | 957 bytes |
/usr/share/man/man1/orterun.1.gz
|
application/gzip | root:root | 0o644 | 12.5 KB |
/usr/share/man/man1/ompi-clean.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/man/man1/ompi_info.1.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/man/man1/mpiexec.openmpi.1.gz
|
application/gzip | root:root | 0o644 | 12.5 KB |
/usr/share/man/man1/mpirun.openmpi.1.gz
|
root:root | 0o777 |