Re: Exit desktop on Task Manager menu.

From	Chris Hughes <news@noonehere.co.uk>
Newsgroups	comp.sys.acorn.misc
Subject	Re: Exit desktop on Task Manager menu.
Date	2012-03-18 08:39 +0000
Organization	A noiseless patient Spider
Message-ID	<0b9a4b7252.chris@o2.co.uk> (permalink)
References	(9 earlier) <jjtnno$hd$1@dont-email.me> <almarsoft.9152344553989570194@news.orange.fr> <a2e14f7152.beeb@ron1954.woosh.co.nz> <almarsoft.5627869513376582171@news.orange.fr> <6ff8137252.beeb@ron1954.woosh.co.nz>

Show all headers | View raw

In message <6ff8137252.beeb@ron1954.woosh.co.nz>
          Ron <beeb@woosh.co.nz> wrote:

> In message <almarsoft.5627869513376582171@news.orange.fr>
>           Rick Murray <heyrickmail-usenet@yahoo.co.uk> wrote:

>>> I have found very little on *ShellCLI and that is why Steves alias
>>> caught my eye.
>> 
>> I think it is an internal mechanism to call the supervisor command
>> line within a desktop environment without it all going tits up.
>> 
>> 
>>> A bit of experimenting may reveal the answers to some of my
>> questions.
>> 
>> Me? I'd just look at the sources. ;-)
>> 

> http://acorn.riscos.com/riscos3/37/37DiscImage/Manuals/Manual/BOOK3B/B
> OOK3_2.HT

> Has an overview of the command line from the User manual.
> It appears that 'Supervisor' doesn't necessarily mean anything other
> than an ordinary command line.
> There is a Wimp$State variable that is either Desktop or Commands,
> indicating that leaving the Desktop on it's own and you still have
> Wimp activity.
> The Exit option leaves the Desktop and additionally closes any tasks,
> making it different to the F12 alternatives.
> I'm guessing Wimp activity is still there with the Wimp$State set
> to Commands.

> Anyway, for the OP, something new I have come across during this
> thread, is that you can do a fast shutdown using CNTRL+SHIFT+F12.

I have been using that option for years! Its in RISC OS 4, and 6 as 
well


-- 
Chris Hughes
Come to the Wakefield Show - 28th April 2012
http://www.wakefieldshow.org.uk

Back to comp.sys.acorn.misc | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Exit desktop on Task Manager menu. Peter Young <pnyoung@ormail.co.uk> - 2012-03-13 20:25 +0000
  Re: Exit desktop on Task Manager menu. druck <news@druck.org.uk> - 2012-03-13 21:55 +0000
    Re: Exit desktop on Task Manager menu. Chris Hughes <news@noonehere.co.uk> - 2012-03-13 22:21 +0000
      Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-14 12:15 +1300
        Re: Exit desktop on Task Manager menu. Paul Sprangers <Paul@sprie.nl> - 2012-03-14 10:50 +0100
          Re: Exit desktop on Task Manager menu. cferris@freeRemoveuk.com.invalid - 2012-03-14 10:07 +0000
            Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-15 01:40 +1300
              Re: Exit desktop on Task Manager menu. Stuart <Spambin@argonet.co.uk> - 2012-03-14 16:31 +0000
              Re: Exit desktop on Task Manager menu. druck <news@druck.org.uk> - 2012-03-14 20:12 +0000
                Re: Exit desktop on Task Manager menu. Peter Young <pnyoung@ormail.co.uk> - 2012-03-14 22:08 +0000
                Re: Exit desktop on Task Manager menu. Chris Johnson <chrisjohnson+news@spamcop.net> - 2012-03-14 23:46 +0000
                Re: Exit desktop on Task Manager menu. Chris Johnson <chrisjohnson+news@spamcop.net> - 2012-03-14 23:57 +0000
                Re: Exit desktop on Task Manager menu. Fred Bambrough <fred@[127.0.0.1]> - 2012-03-15 00:59 +0000
                Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-15 12:44 +1300
                Re: Exit desktop on Task Manager menu. druck <news@druck.org.uk> - 2012-03-15 21:42 +0000
                Re: Exit desktop on Task Manager menu. Rick Murray <heyrickmail-usenet@yahoo.co.uk> - 2012-03-16 05:21 +0100
                Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-16 23:49 +1300
                Re: Exit desktop on Task Manager menu. Rick Murray <heyrickmail-usenet@yahoo.co.uk> - 2012-03-16 18:32 +0100
                Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-18 11:31 +1300
                Re: Exit desktop on Task Manager menu. Rick Murray <heyrickmail-usenet@yahoo.co.uk> - 2012-03-18 00:35 +0100
                Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-18 22:08 +1300
                Re: Exit desktop on Task Manager menu. Chris Johnson <chrisjohnson+news@spamcop.net> - 2012-03-17 22:53 +0000
                Re: Exit desktop on Task Manager menu. Peter Young <pnyoung@ormail.co.uk> - 2012-03-18 08:19 +0000
                Re: Exit desktop on Task Manager menu. Chris Hughes <news@noonehere.co.uk> - 2012-03-18 08:39 +0000
                Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-18 22:40 +1300
                Re: Exit desktop on Task Manager menu. Chris Johnson <chrisjohnson+news@spamcop.net> - 2012-03-18 10:32 +0000
                Re: Exit desktop on Task Manager menu. Grahame Parish <spamtrap@millers-way.net> - 2012-03-18 12:10 +0000
                Re: Exit desktop on Task Manager menu. Chris Evans <chris@cjemicros.co.uk> - 2012-03-19 10:24 +0000
                Re: Exit desktop on Task Manager menu. Jim Nagel <jimnewsm10d@abbeypress.co.uk> - 2012-03-20 01:00 +0000
          Re: Exit desktop on Task Manager menu. Bryn Evans <d@a.invalid> - 2012-03-14 16:55 +0000
    Re: Exit desktop on Task Manager menu. Peter Young <pnyoung@ormail.co.uk> - 2012-03-14 09:06 +0000
  Re: Exit desktop on Task Manager menu. Jim Nagel <jimnewsm10d@abbeypress.co.uk> - 2012-03-13 23:29 +0000
  Re: Exit desktop on Task Manager menu. "Ste (news)" <steve@revi11.plus.com> - 2012-03-14 01:00 +0000
    Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-14 14:39 +1300
    Re: Exit desktop on Task Manager menu. Jim Nagel <jimnewsm10d@abbeypress.co.uk> - 2012-03-14 19:18 +0000
      Re: Exit desktop on Task Manager menu. "Ste (news)" <steve@revi11.plus.com> - 2012-03-15 00:57 +0000
        Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-16 12:03 +1300
          Re: Exit desktop on Task Manager menu. Rick Murray <heyrickmail-usenet@yahoo.co.uk> - 2012-03-16 05:29 +0100
        Re: Exit desktop on Task Manager menu. Chris Evans <chris@cjemicros.co.uk> - 2012-03-19 10:29 +0000
          Re: Exit desktop on Task Manager menu. Tony Moore <old_coaster@yahoo.co.uk> - 2012-03-19 15:41 +0000
          Re: Exit desktop on Task Manager menu. "Ste (news)" <steve@revi11.plus.com> - 2012-03-19 16:52 +0000
        Re: Exit desktop on Task Manager menu. Jim Nagel <jimnewsm10d@abbeypress.co.uk> - 2012-03-20 01:15 +0000
          Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-20 23:26 +1300
          Re: Exit desktop on Task Manager menu. Chris Evans <chris@cjemicros.co.uk> - 2012-03-20 12:55 +0000
          Re: Exit desktop on Task Manager menu. Jess <phantasm_39@hotmail.com> - 2012-03-23 10:54 +0000
            Re: Exit desktop on Task Manager menu. "David Holden" <SpamBin@apdl.co.uk> - 2012-03-23 11:57 +0000
              Re: Exit desktop on Task Manager menu. Jess <phantasm_39@hotmail.com> - 2012-03-23 13:16 +0000
            Re: Exit desktop on Task Manager menu. Chris Evans <chris@cjemicros.co.uk> - 2012-03-23 12:12 +0000
              Re: Exit desktop on Task Manager menu. Chris Gransden <chrisg@care4free.net> - 2012-03-23 12:59 +0000
                Re: Exit desktop on Task Manager menu. Paul Sprangers <Paul@sprie.nl> - 2012-03-23 18:13 +0100
                Re: Exit desktop on Task Manager menu. Rick Murray <heyrickmail-usenet@yahoo.co.uk> - 2012-03-23 18:50 +0100
                Re: Exit desktop on Task Manager menu. Paul Sprangers <Paul@sprie.nl> - 2012-03-24 09:42 +0100
                Re: Exit desktop on Task Manager menu. Chris Johnson <chrisjohnson+news@spamcop.net> - 2012-03-23 17:53 +0000
              Re: Exit desktop on Task Manager menu. Jess <phantasm_39@hotmail.com> - 2012-03-23 13:18 +0000
                Re: Exit desktop on Task Manager menu. "David Holden" <SpamBin@apdl.co.uk> - 2012-03-23 14:03 +0000
                Re: Exit desktop on Task Manager menu. Jess <phantasm_39@hotmail.com> - 2012-03-23 14:38 +0000
                Re: Exit desktop on Task Manager menu. "John Williams (News)" <UCEbin@tiscali.co.uk> - 2012-03-23 15:52 +0100
                Re: Exit desktop on Task Manager menu. Jess <phantasm_39@hotmail.com> - 2012-03-24 11:43 +0000
                Re: Exit desktop on Task Manager menu. Rick Murray <heyrickmail-usenet@yahoo.co.uk> - 2012-03-23 18:41 +0100
                Re: Exit desktop on Task Manager menu. Jess <phantasm_39@hotmail.com> - 2012-03-24 11:40 +0000
              Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-24 03:25 +1300
            Re: Exit desktop on Task Manager menu. Dave Symes <dave@triffid.co.uk> - 2012-03-23 12:17 +0000
              Re: Exit desktop on Task Manager menu. "Ste (news)" <steve@revi11.plus.com> - 2012-03-23 18:32 +0000
      Re: Exit desktop on Task Manager menu. "David Holden" <SpamBin@apdl.co.uk> - 2012-03-15 07:06 +0000
        Re: Exit desktop on Task Manager menu. Tim Hill <tim@invalid.org.uk> - 2012-03-20 12:34 +0000

csiph-web