External apps and theme change
Riccardo Iaconelli
riccardo at kde.org
Fri Jan 23 23:19:49 CET 2009
On Thursday 22 January 2009 22:55:04 Ivan Čukić wrote:
> > > changing the name of plasma to plasma-desktop is doable. not even that
> > > hard. what do others think?
>
> +0.75 :)
>
> (we would need to be prepared for 'kquitapp plasma && plasma' doesn't work
> and stuff - it would be good to spam planetkde with posts about the name
> change).
Better doing it now than later.
And I don't see that line as a problem very much, after all:
- it shouldn't be appearing in any tutorial (what operation does require plasma
restart in that way, after all), especially not in ones directed to newbies.
- the people that are using those commands (power users, devs) are perfectly
capable of discovering the new name, especially if we announce it widely and
repeteadly.
The only unfortunate thing is that it won't go in 4.2. :(
Bye,
-Riccardo
--
GPG key:
3D0F6376
When encrypting, please encrypt also for this subkey:
9EBD7FE1
-----
Pace Peace Paix Paz Frieden Pax Pokój Friður Fred Béke 和平
Hasiti Lapé Hetep Malu Mир Wolakota Santiphap Irini Peoch שלום
Shanti Vrede Baris Rój Mír Taika Rongo Sulh Mir Py'guapy 평화
More information about the Plasma-devel
mailing list