Where are the man pages?

Great board, but where are the man pages?

roy@roy-jetson:~$ man man
No manual entry for man
See 'man 7 undocumented' for help when manual pages are not available.

Same goes for everything.

apt says manpages and manpages-dev are installed, but there is not a single file under /usr/share/man, just some folders and a single symlink for sh.1.gz, which happens to be broken.

Any simple way to fix this?

If you want to put individual man pages back in, then see this:

If you want to just restore all man pages, then a script is provided. Run:

sudo /usr/local/sbin/unminimize

Embedded systems typically need all the disk space they can get, and it is easier to add the man pages than it is to remove them.

As FYI, here are some observations based on a ‘jetson-nano-sd-r32.1-2019-03-18’ install.

sudo /usr/local/sbin/unminimize
# Failed to fetch http://ports.ubuntu.com/ubuntu-ports/pool/main/s/samba..
# Unable to fetch some archives, maybe run apt-get update or try with --fix-missing?
  • Did not restore man pages
  • Added 4096 Bytes to disk
sudo /usr/local/sbin/unminimize  --fix-missing
  • Runtime on order of 1 hour
  • Restored man pages
  • May have significantly changed other items as well
  • Needs 'export MANPATH=/usr/local/cuda-10.0/doc/man' to find NVIDIA man pages
  • Added 1.7 GB to disk
1 Like