Re: Problem using sphinx to build documentation
> Could you please raise a ticket?
Done - it's #4915
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head of Software Foundations & Verification Research Group
School of Computer Science and Statistics,
Room G.39, O'Reilly Institute, Trinity College, University of Dublin
http://www.scss.tcd.ie/Andrew.Butterfield/
<http://www.scss.tcd.ie/Andrew.Butterfield/>
On 06/06/2023, 23:22, "users on behalf of Chris Johns" mailto:users-boun...@rtems.org> on behalf of chr...@rtems.org
<mailto:chr...@rtems.org>> wrote:
On 6/6/2023 7:11 pm, andrew.butterfi...@scss.tcd.ie
<mailto:andrew.butterfi...@scss.tcd.ie> wrote:
> I am trying to install sphinx on an Apple Silicon OSX machine.
> I've already done this successfully on a similar machine.
>
> This time, after following steps in the rtems-docs README.txt,
> I do ./waf , it does some stuff and then:
>
> [ 7/10] Compiling common/_static/favicon.ico
> [ 8/10] Compiling common/_static/my-styles.css
> [ 9/10] Compiling common/_static/logo.png
> [10/10] Compiling common/_static/style.css
>
> Theme error:
> An error happened in rendering the page bld/index.
> Reason: UndefinedError("'style' is undefined")
>
> I have not seen this error before - any thoughts?
>
> I'm using pip 22.2.1 and Python 3.10.6
Could you please raise a ticket?
Chris
___
users mailing list
users@rtems.org <mailto:users@rtems.org>
http://lists.rtems.org/mailman/listinfo/users
<http://lists.rtems.org/mailman/listinfo/users>
___
users mailing list
users@rtems.org
http://lists.rtems.org/mailman/listinfo/users
Re: Problem using sphinx to build documentation
Hello Frank,
I installed 6.2.1 and it works fine - thanks!
Andrew
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head of Software Foundations & Verification Research Group
School of Computer Science and Statistics,
Room G.39, O'Reilly Institute, Trinity College, University of Dublin
http://www.scss.tcd.ie/Andrew.Butterfield/
<http://www.scss.tcd.ie/Andrew.Butterfield/>
On 06/06/2023, 22:47, "Frank Kühndel" mailto:frank.kuehn...@embedded-brains.de>> wrote:
Hello Andrew,
I run into the same error message just today (albeit in a different
context). The Problem seems to be Sphinx 7. For me Sphinx 6.2.1 and
5.3.0 worked.
Greetings
Frank
On 6/6/23 19:22, andrew.butterfi...@scss.tcd.ie
<mailto:andrew.butterfi...@scss.tcd.ie> wrote:
> Subject:
> Re: Problem using sphinx to build documentation
> From:
> "andrew.butterfi...@scss.tcd.ie <mailto:andrew.butterfi...@scss.tcd.ie>"
> mailto:andrew.butterfi...@scss.tcd.ie>>
> Date:
> 6/6/23, 19:22
>
> To:
> "j...@rtems.org <mailto:j...@rtems.org>" <mailto:j...@rtems.org>>, "andrew.butterfi...@scss.tcd.ie
> <mailto:andrew.butterfi...@scss.tcd.ie>"
> mailto:andrew.butterfi...@scss.tcd.ie>>
> CC:
> "users@rtems.org <mailto:users@rtems.org>" <mailto:users@rtems.org>>
>
>
>> Which sphinx version got installed?
> It think its 7.0.1
>
> I tried to re-install it and saw
>
> ab-rtems-docs% . ./sphinx/bin/activate
> (sphinx) ab-rtems-docs% pip3 install sphinx
> Requirement already satisfied: sphinx in
> ./sphinx/lib/python3.10/site-packages (7.0.1)
> Requirement already satisfied: sphinxcontrib-qthelp in
> ./sphinx/lib/python3.10/site-packages (from sphinx) (1.0.3)
> Requirement already satisfied: sphinxcontrib-applehelp in
> ./sphinx/lib/python3.10/site-packages (from sphinx) (1.0.4)
>
> Andrew
>
>
> Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
> Lero@TCD, Head of Software Foundations & Verification Research Group
> School of Computer Science and Statistics,
> Room G.39, O'Reilly Institute, Trinity College, University of Dublin
> http://www.scss.tcd.ie/Andrew.Butterfield/
> <http://www.scss.tcd.ie/Andrew.Butterfield/>
> ----
>
>
>
> From: Joel Sherrillmailto:j...@rtems.org>>
> Reply to:"j...@rtems.org <mailto:j...@rtems.org>" <mailto:j...@rtems.org>>
> Date: Tuesday 6 June 2023 at 17:51
> To:"andrew.butterfi...@scss.tcd.ie <mailto:andrew.butterfi...@scss.tcd.ie>"
> mailto:andrew.butterfi...@scss.tcd.ie>>
> Cc:"users@rtems.org <mailto:users@rtems.org>" <mailto:users@rtems.org>>
> Subject: Re: Problem using sphinx to build documentation
>
>
>
> On Tue, Jun 6, 2023 at 4:11 amandrew.butterfi...@scss.tcd.ie
> <mailto:amandrew.butterfi...@scss.tcd.ie><mailto:andrew.butterfi...@scss.tcd.ie
> <mailto:andrew.butterfi...@scss.tcd.ie>> <mailto:andrew.butterfi...@scss.tcd.ie><mailto:andrew.butterfi...@scss.tcd.ie
> <mailto:andrew.butterfi...@scss.tcd.ie>>> wrote:
> I am trying to install sphinx on an Apple Silicon OSX machine.
> I've already done this successfully on a similar machine.
>
> This time, after following steps in the rtems-docs README.txt,
> I do ./waf , it does some stuff and then:
>
> [ 7/10] Compiling common/_static/favicon.ico
> [ 8/10] Compiling common/_static/my-styles.css
> [ 9/10] Compiling common/_static/logo.png
> [10/10] Compiling common/_static/style.css
>
> Theme error:
> An error happened in rendering the page bld/index.
> Reason: UndefinedError("'style' is undefined")
>
> I have not seen this error before - any thoughts?
>
> I'm using pip 22.2.1 and Python 3.10.6
>
> Which sphinx version got installed?
>
> Regards, Andrew
>
>
>
> Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
> Lero@TCD, Head of Software Foundations & Verification Research Group
> School of Computer Science and Statistics,
> Room G.39, O'Reilly Institute, Trinity College, University of Dublin
> http://www.scss.tcd.ie/Andrew.Butterfield/
> <http://www.scss.tcd.ie/Andrew.Butterfield/>
> <http://www.scss.tcd.ie/Andrew.Butterfield/http://www.scss.tcd.ie/Andrew.Butterfield/;>
> --
Re: Problem using sphinx to build documentation
> Which sphinx version got installed?
It think its 7.0.1
I tried to re-install it and saw
ab-rtems-docs% . ./sphinx/bin/activate
(sphinx) ab-rtems-docs% pip3 install sphinx
Requirement already satisfied: sphinx in ./sphinx/lib/python3.10/site-packages
(7.0.1)
Requirement already satisfied: sphinxcontrib-qthelp in
./sphinx/lib/python3.10/site-packages (from sphinx) (1.0.3)
Requirement already satisfied: sphinxcontrib-applehelp in
./sphinx/lib/python3.10/site-packages (from sphinx) (1.0.4)
Andrew
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head of Software Foundations & Verification Research Group
School of Computer Science and Statistics,
Room G.39, O'Reilly Institute, Trinity College, University of Dublin
http://www.scss.tcd.ie/Andrew.Butterfield/
From: Joel Sherrill
Reply to: "j...@rtems.org"
Date: Tuesday 6 June 2023 at 17:51
To: "andrew.butterfi...@scss.tcd.ie"
Cc: "users@rtems.org"
Subject: Re: Problem using sphinx to build documentation
On Tue, Jun 6, 2023 at 4:11 AM
andrew.butterfi...@scss.tcd.ie<mailto:andrew.butterfi...@scss.tcd.ie>
mailto:andrew.butterfi...@scss.tcd.ie>> wrote:
I am trying to install sphinx on an Apple Silicon OSX machine.
I've already done this successfully on a similar machine.
This time, after following steps in the rtems-docs README.txt,
I do ./waf , it does some stuff and then:
[ 7/10] Compiling common/_static/favicon.ico
[ 8/10] Compiling common/_static/my-styles.css
[ 9/10] Compiling common/_static/logo.png
[10/10] Compiling common/_static/style.css
Theme error:
An error happened in rendering the page bld/index.
Reason: UndefinedError("'style' is undefined")
I have not seen this error before - any thoughts?
I'm using pip 22.2.1 and Python 3.10.6
Which sphinx version got installed?
Regards, Andrew
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head of Software Foundations & Verification Research Group
School of Computer Science and Statistics,
Room G.39, O'Reilly Institute, Trinity College, University of Dublin
http://www.scss.tcd.ie/Andrew.Butterfield/
<http://www.scss.tcd.ie/Andrew.Butterfield/>
___
users mailing list
users@rtems.org<mailto:users@rtems.org>
http://lists.rtems.org/mailman/listinfo/users
___
users mailing list
users@rtems.org
http://lists.rtems.org/mailman/listinfo/users
Problem using sphinx to build documentation
I am trying to install sphinx on an Apple Silicon OSX machine.
I've already done this successfully on a similar machine.
This time, after following steps in the rtems-docs README.txt,
I do ./waf , it does some stuff and then:
[ 7/10] Compiling common/_static/favicon.ico
[ 8/10] Compiling common/_static/my-styles.css
[ 9/10] Compiling common/_static/logo.png
[10/10] Compiling common/_static/style.css
Theme error:
An error happened in rendering the page bld/index.
Reason: UndefinedError("'style' is undefined")
I have not seen this error before - any thoughts?
I'm using pip 22.2.1 and Python 3.10.6
Regards, Andrew
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@TCD, Head of Software Foundations & Verification Research Group
School of Computer Science and Statistics,
Room G.39, O'Reilly Institute, Trinity College, University of Dublin
http://www.scss.tcd.ie/Andrew.Butterfield/
Re: RSB build fails on M1 Macbook Pro
How do I fix this? On 20/09/2022, 14:41, "Karel Gardas" wrote: You are missing isl library header file: configure:6284: /usr/bin/cc -O2 -pipe -fbracket-depth=1024 -I/Users/butrfeld/REPOS/RTEMS/src/rsb/rtems/build/tmp/sb-501/tools/rtems-default-tools/Users/butrfeld/RTEMS/rtems/6/include -o conftest -g -O2 -L/Users/butrfeld/REPOS/RTEMS/src/rsb/rtems/build/tmp/sb-501/tools/rtems-default-tools/Users/butrfeld/RTEMS/rtems/6/lib -lisl -lmpc -lmpfr -lgmp conftest.c -lisl -lgmp >&5 conftest.c:10:10: fatal error: 'isl/schedule.h' file not found #include ^~~~ 1 error generated. Karel On 9/20/22 15:35, andrew.butterfi...@scss.tcd.ie wrote: > > > Hi Karel, > > Gdb config.log now attached > > Andrew > > > On 20/09/2022, 14:17, "Karel Gardas" wrote: > > > Usually just last page is enough. Anyway, your report reports that the > compilation fails on gdb configure with: > > configure: WARNING: MPFR is missing or unusable; some features may be > unavailable. > checking whether to use python... /opt/homebrew/bin/python3 > checking for python... no > configure: error: no usable python found at /opt/homebrew/bin/python3 > make[1]: *** [configure-gdb] Error 1 > > if you look into gdb build directory you will see config.log there which > may tell you more about why your homebrew python3 fails. > > Karel > > On 9/20/22 15:02, Andrew Butterfield wrote: > > Hi Karel, > > here it is - I didn't want to attach this unless necessary! > > > > Regards, > >Andrew > > > > > > > > > > Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 > > Lero@TCD, Head of Software Foundations & Verification Research Group > > School of Computer Science and Statistics, > > Room G.39, O'Reilly Institute, Trinity College, University of Dublin > > http://www.scss.tcd.ie/Andrew.Butterfield/ > > ------------ > > > > > > -Original Message- > > From: Karel Gardas > > Date: Tuesday 20 September 2022 at 14:00 > > To: "andrew.butterfi...@scss.tcd.ie" , "users@rtems.org" > > Subject: Re: RSB build fails on M1 Macbook Pro > > > > > > JFYI: 2 months ago I pushed patches in order to make M1 working at least > > for arm target. As devil is in the detail you will also need to provide > > rsb-report-sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1.txt for > > investigation. > > > > Karel > > > > On 9/20/22 14:55, andrew.butterfi...@scss.tcd.ie wrote: > > > Dear all, > > > I tried to follow the Quickstart on my new M1 Macbook Pro (Apple Silicon), > > > which one of my students is also trying to do. > > > > > > It fails with the following error > > > > > > ... > > > downloading: sources/gdb-11.2.tar.xz - 21.0MB of 21.0MB (100%) > > > building: sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1 > > > error: building sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1 > > > Build FAILED > > >See error report: rsb-report-sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1.txt > > > error: building sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1 > > > Build Set: Time 0:06:26.055237 > > > error: building sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1 > > > Build Set: Time 0:06:26.058387 > > > Build FAILED > > > > > > python maps to /usr/local/bin/python - it's a Mach-O 64-bit executable x86_64 > > > > > > python --version is 3.6.8 > > > > > > There is a homebrew python3 but it's an arm64 executable, so seems not to be implicated. > >
Re: RSB build fails on M1 Macbook Pro
Hi Karel,
Gdb config.log now attached
Andrew
On 20/09/2022, 14:17, "Karel Gardas" wrote:
Usually just last page is enough. Anyway, your report reports that the
compilation fails on gdb configure with:
configure: WARNING: MPFR is missing or unusable; some features may be
unavailable.
checking whether to use python... /opt/homebrew/bin/python3
checking for python... no
configure: error: no usable python found at /opt/homebrew/bin/python3
make[1]: *** [configure-gdb] Error 1
if you look into gdb build directory you will see config.log there which
may tell you more about why your homebrew python3 fails.
Karel
On 9/20/22 15:02, Andrew Butterfield wrote:
> Hi Karel,
> here it is - I didn't want to attach this unless necessary!
>
> Regards,
>Andrew
>
>
>
>
> Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
> Lero@TCD, Head of Software Foundations & Verification Research Group
> School of Computer Science and Statistics,
> Room G.39, O'Reilly Institute, Trinity College, University of Dublin
> http://www.scss.tcd.ie/Andrew.Butterfield/
>
>
>
> -Original Message-
> From: Karel Gardas
> Date: Tuesday 20 September 2022 at 14:00
> To: "andrew.butterfi...@scss.tcd.ie" ,
"users@rtems.org"
> Subject: Re: RSB build fails on M1 Macbook Pro
>
>
> JFYI: 2 months ago I pushed patches in order to make M1 working at
least
> for arm target. As devil is in the detail you will also need to
provide
> rsb-report-sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1.txt for
> investigation.
>
> Karel
>
> On 9/20/22 14:55, andrew.butterfi...@scss.tcd.ie wrote:
> > Dear all,
> > I tried to follow the Quickstart on my new M1 Macbook Pro (Apple
Silicon),
> > which one of my students is also trying to do.
> >
> > It fails with the following error
> >
> > ...
> > downloading: sources/gdb-11.2.tar.xz - 21.0MB of 21.0MB (100%)
> > building: sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1
> > error: building sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1
> > Build FAILED
> >See error report:
rsb-report-sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1.txt
> > error: building sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1
> > Build Set: Time 0:06:26.055237
> > error: building sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1
> > Build Set: Time 0:06:26.058387
> > Build FAILED
> >
> > python maps to /usr/local/bin/python - it's a Mach-O 64-bit
executable x86_64
> >
> > python --version is 3.6.8
> >
> > There is a homebrew python3 but it's an arm64 executable, so
seems not to be implicated.
> >
> > The full terminal transcript is attached
> >
> > Regards,
> >Andrew
> >
> >
> >
> >
> >
> >
> > Andrew Butterfield Tel: +353-1-896-2517 Fax:
+353-1-677-2204
> > Lero@TCD, Head of Software Foundations & Verification Research
Group
> > School of Computer Science and Statistics,
> > Room G.39, O'Reilly Institute, Trinity College, University of
Dublin
> >
http://www.scss.tcd.ie/Andrew.Butterfield/
> >
> >
> >
> >
> > ___
> > users mailing list
> > users@rtems.org
> > http://lists.rtems.org/mailman/listinfo/users
>
>
config.log
Description: config.log
___
users mailing list
users@rtems.org
http://lists.rtems.org/mailman/listinfo/users
RSB build fails on M1 Macbook Pro
Dear all, I tried to follow the Quickstart on my new M1 Macbook Pro (Apple Silicon), which one of my students is also trying to do. It fails with the following error ... downloading: sources/gdb-11.2.tar.xz - 21.0MB of 21.0MB (100%) building: sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1 error: building sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1 Build FAILED See error report: rsb-report-sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1.txt error: building sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1 Build Set: Time 0:06:26.055237 error: building sparc-rtems6-gdb-11.2-x86_64-apple-darwin21.6.0-1 Build Set: Time 0:06:26.058387 Build FAILED python maps to /usr/local/bin/python - it's a Mach-O 64-bit executable x86_64 python --version is 3.6.8 There is a homebrew python3 but it's an arm64 executable, so seems not to be implicated. The full terminal transcript is attached Regards, Andrew Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verification Research Group School of Computer Science and Statistics, Room G.39, O'Reilly Institute, Trinity College, University of Dublin http://www.scss.tcd.ie/Andrew.Butterfield/ RTEMS-rsb-build-fail-terminal.log Description: RTEMS-rsb-build-fail-terminal.log ___ users mailing list users@rtems.org http://lists.rtems.org/mailman/listinfo/users
Student difficulty joining items users list.
Hi all, A student of mine is trying to subscribe to this mailing list at https://lists.rtems.org/mailman/listinfo/users He adds in his email address, hits “Subscribe” and gets back a pop-up saying : “Forbidden, you don't have permission to access this resource” Any ideas what the problem might be? ___ users mailing list users@rtems.org http://lists.rtems.org/mailman/listinfo/users
Re: Barrier Manager cross-node behaviour
Hi Joel, Jerzy is doing a Dissertation on this topic, and we have every plan to feed this back into the community. The is an academic spin-off from the ESA sponsored activity that ran for the last two years or so. I know that the precise way we integrate this stuff back into the community needs to be figured out, and discussion is underway about aspects of this on the devel mailing list. Sebastian and I hope to come to you all with a proposal regarding the Formal Methods part - I'll let him lead that as he has a better feel for what would fit best with community guidelines. Regards, Andrew Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verification Research Group School of Computer Science and Statistics, Room G.39, O'Reilly Institute, Trinity College, University of Dublin http://www.scss.tcd.ie/Andrew.Butterfield/ -Original Message- From: users on behalf of Joel Sherrill Reply to: "j...@rtems.org" Date: Thursday 27 January 2022 at 23:39 To: Jerzy J Cc: "rtems-us...@rtems.org" Subject: Re: Barrier Manager cross-node behaviour On Thu, Jan 27, 2022 at 5:04 PM Jerzy J wrote: > > Hi, > > I'm using RTEMS 6 and I'm trying to model the Barrier Manager behaviour > using Promela. Cool! Have you modeled anything else? Is this something which could be submitted to the community and used openly? Just thinking anything that grows formal verification for RTEMS hopefully helps if there is the potential for more input. Not that I am likely the one to build the formal model. > However, there's one unclear thing to me which I couldn't find an exact > explanation of in the documentation. > > While the `rtems_barrier_ident` directive can only search on the local > node, if a task already had an id of the barrier from a different node, > would it be able to call the `rtems_barrier_wait` directive on that > barrier, or would it get INVALID_ID return code? > In other words, can a task from one node, call directives on a barrier from > another node if it had an id of the barrier? The concept of node only applies when RTEMS is built for distributed multiprocessing. This is completely different from the SMP support. For distributed multiprocessing, the system model is multiple CPUs cards on a shared bus like VMEbus with an area of shared memory. In a distributed multiprocessing configuration, each node is a complete RTEMS executable with an assigned node number in the system. For SMP, the cores are tightly integrated, share a memory image, etc. This is considered one "node". There is no mixing of models. With the distributed multiprocessing, a subset of Classic API services allow an object instance to be created with global visibility. If global, then the ident service can be used to look up the id for a name. For example, a task can be global. If created on node 1, a task on node 2 can change its priority. I doubt you really care about the distributed multiprocessing configuration but even if you did, barriers are local only and can't be accessed by other nodes in a distributed processing configuration. > I would also assume that behaviour would be consistent for `delete` and > `release` directives as well? Although it is mentioned in the `delete` > directive constraints that only local tasks can delete a barrier, in other > directives it is not listed as a constraint. That is probably just an artifact of copying the starting point for the documentation from another API class that did support being global. If that statement and any others like it were deleted, would this issue go away? Please point out all the places where the barrier documentation uses language from a distributed multiprocessing and shouldn't. Thanks. --joel > Thanks you in advance and all the best, > Jerzy > ___ > users mailing list > users@rtems.org > http://lists.rtems.org/mailman/listinfo/users ___ users mailing list users@rtems.org http://lists.rtems.org/mailman/listinfo/users ___ users mailing list users@rtems.org http://lists.rtems.org/mailman/listinfo/users
Re: rtems_semaphore routines on SMP systems
Yes, if you #define RTEMS_SMP you can use the MrsP protocol (for example) by calling rtems_semaphore_create with an attribute set containing RTEMS_PRIORITY | RTEMS_BINARY_SEMAPHORE | RTEMS_MULTIPROCESSOR_RESOURCE_SHARING. You can then use rtems_semaphore_obtain, rtems_semaphore_release , rtems_semaphore_delete and others in the usual way. Best Regards, Andrew Butterfield Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verification Research Group School of Computer Science and Statistics, Room G.39, O'Reilly Institute, Trinity College, University of Dublin http://www.scss.tcd.ie/Andrew.Butterfield/ -Original Message- From: users on behalf of Heinz Junkes Date: Saturday 25 September 2021 at 11:23 To: Rtems users Subject: rtems_semaphore routines on SMP systems Can the rtems_semaphore_*() routines be used on SMP systems? Viele Grüße Heinz ___ users mailing list users@rtems.org http://lists.rtems.org/mailman/listinfo/users ___ users mailing list users@rtems.org http://lists.rtems.org/mailman/listinfo/users
