[Tinyos-help] Tiny os 2.0 set-mote-id

[David Gay]

On 12/1/06, KURT PETERS <peterskurt at msn.com> wrote:
> It doesn't appear to have a man page.

It does (this with a converted rpm file, from the 1.2.3 version of the rpm):
$ dpkg -L tinyos-tools
...
/usr/share/man/man1/mig.1.gz
/usr/share/man/man1/motelist.1.gz
/usr/share/man/man1/ncc.1.gz
/usr/share/man/man1/ncg.1.gz
/usr/share/man/man1/nesdoc.1.gz
/usr/share/man/man1/tos-bsl.1.gz
/usr/share/man/man1/tos-channelgen.1.gz
/usr/share/man/man1/tos-check-env.1.gz
/usr/share/man/man1/tos-ident-flags.1.gz
/usr/share/man/man1/tos-install-jni.1.gz
/usr/share/man/man1/tos-locate-jre.1.gz
/usr/share/man/man1/tos-mote-key.1.gz
/usr/share/man/man1/tos-mviz.1.gz
/usr/share/man/man1/tos-serial-configure.1.gz
/usr/share/man/man1/tos-serial-debug.1.gz
/usr/share/man/man1/tos-set-symbols.1.gz
/usr/share/man/man1/tos-storage-at45db.1.gz
/usr/share/man/man1/tos-storage-stm25p.1.gz
/usr/share/man/man1/tos-write-image.1.gz
/usr/share/man/man1/uisp.1.gz
...

Maybe your man search path doesn't include /usr/share/man? Or you're
using an old version of the tinyos tools (can't remember offhand
exactly when the man page got written).

David Gay