extragear/sdk/kdevplatform/shell

[David Nolden]

Am Freitag 12 Februar 2010 21:53:33 schrieb Andreas Pakulat:
> On 11.02.10 13:29:55, Milian Wolff wrote:
> > SVN commit 1088732 by mwolff:
> >
> > make it possible to create a new session via CLI, just use -s SOMENEWNAME
> > and it should work now
> 
> I'm not sure we should use the same switch for this. I just created a
> session accidentally which I now have to delete. I simply mistyped the
> name of the session I wanted to open..

I agree. The problem is that we don't auto-delete named sessions, so such 
sessions will stay as garbage.

I propose making it "-cs SOMENEWNAME", aka. "create session".

Greetings, David