I don't think it's either case: echo $MANPATH /usr/local/man:/usr/share/man:/usr/X11R6/man:/opt/gnome/share/man
and I am using the latest in terms of recent T2 release/download... (not cvs fresh though).
BTW, is TOS_LOCAL_ADDRESS the same ID as in set-mote-id? It appears I can use the same exact syntax as set-mote-id if that's true.
Kurt ----Original Message Follows---- From: "David Gay" <[EMAIL PROTECTED]> To: "KURT PETERS" <[EMAIL PROTECTED]> CC: [email protected] Subject: Re: [Tinyos-help] Tiny os 2.0 set-mote-id Date: Fri, 1 Dec 2006 14:32:49 -0800 On 12/1/06, KURT PETERS <[EMAIL PROTECTED]> 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 _______________________________________________ Tinyos-help mailing list [email protected] https://mail.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
