Bug#766088: debian-edu-artwork: Unable to upgrade from version 0.49-1 to 0.50-1

[Petter Reinholdtsen]

Package: debian-edu-artwork
Version: 0.50-1
Severity: serious

When trying to upgrade my freshly installed Debian Edy Jessie
installation to unable, the upgrade fail like this when upgrading
debian-edu-artwork from version 0.49-1:

Preparing to unpack .../debian-edu-artwork_0.50-1_all.deb ...
Leaving 'diversion of /usr/share/images/desktop-base/login-background.svg to /usr/share/images/desktop-base/login-background.svg.edu-diverted by debian-edu-artwork'
Leaving 'diversion of /usr/share/kde4/apps/plasma-desktop/init/10-desktop-base.js to /usr/share/kde4/apps/plasma-desktop/init/10-desktop-base.js.edu-diverted by debian-edu-artwork'
dpkg-divert: error: `diversion of /usr/share/gnome-shell/theme/gnome-shell.css to /usr/share/gnome-shell/theme/gnome-shell.css.edu-diverted by debian-edu-artwork' clashes with `diversion of /usr/share/gnome-shell/theme/gnome-shell.css to /usr/share/gnome-shell/theme/gnome-shell.css.edu-diverted by debian-edu-artwork-lines'
dpkg: error processing archive /var/cache/apt/archives/debian-edu-artwork_0.50-1_all.deb (--unpack):
subprocess new pre-installation script returned error exit status 2
Errors were encountered while processing:
/var/cache/apt/archives/debian-edu-artwork_0.50-1_all.deb

I guess something need to be fixed. :)

[Holger Levsen]

control: found -1 0.49-1

Hi,

Post by Petter Reinholdtsen
When trying to upgrade my freshly installed Debian Edy Jessie
installation to unable, the upgrade fail like this when upgrading
Preparing to unpack .../debian-edu-artwork_0.50-1_all.deb ...
Leaving 'diversion of /usr/share/images/desktop-base/login-background.svg
to /usr/share/images/desktop-base/login-background.svg.edu-diverted by
debian-edu-artwork' Leaving 'diversion of
/usr/share/kde4/apps/plasma-desktop/init/10-desktop-base.js to
/usr/share/kde4/apps/plasma-desktop/init/10-desktop-base.js.edu-diverted
by debian-edu-artwork' dpkg-divert: error: `diversion of
/usr/share/gnome-shell/theme/gnome-shell.css to
/usr/share/gnome-shell/theme/gnome-shell.css.edu-diverted by
debian-edu-artwork' clashes with `diversion of
/usr/share/gnome-shell/theme/gnome-shell.css to
/usr/share/gnome-shell/theme/gnome-shell.css.edu-diverted by
debian-edu-artwork-lines'

there is no maintainer script for debian-edu-artwork-lines creating this
diversion (anymore - I guess) and there is no mention of this in
debian/changelog :-(

yes, confirmed, it's in the 0.49-1 postinst of debian-edu-artwork-lines.. so
we'd need to clean this up in a preinst I think.

So this error only hits those few people upgrading from (certain versions of)
debian-edu-artwork-lines from jessie...

Post by Petter Reinholdtsen
I guess something need to be fixed. :)

yes... I need input from Wolfgang or Mike what the desired state of gnome-
shell.css should be for the various packages to implement this something ;)

Wolfgang, Mike: please comment. How should it be if one of the artwork
packages is installed? All?


cheers,
Holger

[Debian Bug Tracking System]

Post by Holger Levsen
found -1 0.49-1

Bug #766088 [debian-edu-artwork] debian-edu-artwork: Unable to upgrade from version 0.49-1 to 0.50-1
Marked as found in versions debian-edu-artwork/0.49-1.
--
766088: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=766088
Debian Bug Tracking System
Contact ***@bugs.debian.org with problems

[Wolfgang Schweer]

Post by Holger Levsen
there is no maintainer script for debian-edu-artwork-lines creating this
diversion (anymore - I guess) and there is no mention of this in
debian/changelog :-(
yes, confirmed, it's in the 0.49-1 postinst of debian-edu-artwork-lines.. so
we'd need to clean this up in a preinst I think.

I guess, yes.

Post by Holger Levsen
So this error only hits those few people upgrading from (certain versions of)
debian-edu-artwork-lines from jessie...

yes.

Post by Holger Levsen
yes... I need input from Wolfgang or Mike what the desired state of gnome-
shell.css should be for the various packages to implement this something ;)
Wolfgang, Mike: please comment. How should it be if one of the artwork
packages is installed? All?

Like it is now: the gnome-shell.css divert should be managed for all
d-e-artwork-* packages in the common package d-e-artwork, I guess.

Wolfgang

[Holger Levsen]

Hi Wolfgang,

Post by Wolfgang Schweer
Like it is now: the gnome-shell.css divert should be managed for all
d-e-artwork-* packages in the common package d-e-artwork, I guess.

but it diverts to a file in the specififc packages, or?


cheers,
Holger

[Wolfgang Schweer]

Post by Holger Levsen

Post by Wolfgang Schweer
Like it is now: the gnome-shell.css divert should be managed for all
d-e-artwork-* packages in the common package d-e-artwork, I guess.

but it diverts to a file in the specififc packages, or?

yes.

Wolfgang

[Wolfgang Schweer]

Post by Holger Levsen

Post by Wolfgang Schweer
Like it is now: the gnome-shell.css divert should be managed for all
d-e-artwork-* packages in the common package d-e-artwork, I guess.

but it diverts to a file in the specififc packages, or?

yes.

that should actually be no.

the common package diverts gnome-shell.css

each of the theme packages links/unlinks its own file to gnome-shell.css

this is done by update-debian-edu-artwork-*

Wolfgang

[Holger Levsen]

control: tags -1 + unreproducible
control: severity -1 important

Post by Petter Reinholdtsen
Package: debian-edu-artwork
Version: 0.50-1
Severity: serious
When trying to upgrade my freshly installed Debian Edy Jessie
installation to unable, the upgrade fail like this when upgrading
Preparing to unpack .../debian-edu-artwork_0.50-1_all.deb ...
Leaving 'diversion of
/usr/share/kde4/apps/plasma-desktop/init/10-desktop-base.js to
/usr/share/kde4/apps/plasma-desktop/init/10-desktop-base.js.edu-diverted
by debian-edu-artwork' dpkg-divert: error: `diversion of
/usr/share/gnome-shell/theme/gnome-shell.css to
/usr/share/gnome-shell/theme/gnome-shell.css.edu-diverted by
debian-edu-artwork' clashes with `diversion of
/usr/share/gnome-shell/theme/gnome-shell.css to
/usr/share/gnome-shell/theme/gnome-shell.css.edu-diverted by
debian-edu-artwork-lines'

I just debootstrapped wheezy, installed vim, installed debian-edu-artwork,
which pulls in debian-edu-artwork-lines, replaced sources.list with jessie,
upgraded, got d-e-a 0.49, replaced sources.list with sid, did apt-get install
debian-edu-artwork debian-edu-artwork-lines and got no error.

Will now do the same but do apt-get install debian-edu-artwork-lines debian-
edu-artwork in the end... also worked fine.

So'm downgrading this bug now, also because it does not affect upgrades from
wheezy at all, cause this diversion was introduced in 0.48 only anyway.

OTOH, does this diversion work at all:
***@matrix:/usr/share/gnome-shell/theme# ls -la gnome-shell.css
lrwxrwxrwx 1 root root 28 Oct 19 19:27 gnome-shell.css -> gnome-shell.css.edu-
diverted
***@matrix:/usr/share/gnome-shell/theme# ls -la gnome-shell.css.edu-diverted
ls: cannot access gnome-shell.css.edu-diverted: No such file or directory

?


cheers,
Holger

[Holger Levsen]

Hi,

Post by Wolfgang Schweer

Post by Holger Levsen

Post by Wolfgang Schweer
Like it is now: the gnome-shell.css divert should be managed for all
d-e-artwork-* packages in the common package d-e-artwork, I guess.

but it diverts to a file in the specififc packages, or?

yes.

that should actually be no.
the common package diverts gnome-shell.css

as described in my previous mail to this bug (from 5min ago), this doesnt work
correctly atm.

Post by Wolfgang Schweer
each of the theme packages links/unlinks its own file to gnome-shell.css
this is done by update-debian-edu-artwork-*

Yes, I've now seen the relevant code in debian/update-debian-edu-
artwork-(lines|joy|spacefun) and it's won't correctly neither:

symlink_gnome_shell_css() {
if [ -f /usr/share/gnome-shell/theme/gnome-shell.css.edu-diverted ]; then
ln -fs /usr/share/gnome-shell/theme/debian-edu-${EDUTHEME}-gnome-
shell.css /usr/share/gnome-shell/theme/gnome-shell.css
fi
}

(this is called from postinst...)

So yes, this will work, when only artwork-lines or artwork-joy is installed.
But when both or all three are installed, these postinsts will be executed in
random order and the last one will "win". That's hardly the expected result
:-)

I've no idea how to fix this yet, though...


cheers,
Holger

[Debian Bug Tracking System]

Post by Holger Levsen
tags -1 + unreproducible

Bug #766088 [debian-edu-artwork] debian-edu-artwork: Unable to upgrade from version 0.49-1 to 0.50-1
Added tag(s) unreproducible.

Post by Holger Levsen
severity -1 important

Bug #766088 [debian-edu-artwork] debian-edu-artwork: Unable to upgrade from version 0.49-1 to 0.50-1
Severity set to 'important' from 'serious'
--
766088: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=766088
Debian Bug Tracking System
Contact ***@bugs.debian.org with problems

[Mike Gabriel]

Hi Holger, hi Wolfgang,

Post by Holger Levsen

Post by Petter Reinholdtsen
I guess something need to be fixed. :)

Sorry, this was my fault-pas. I tested the upgrade from 0.49-1 to
0.50-1 (built locally) and dpkg-divert did not complain about the
diversions (although I expected it to happen).

Post by Holger Levsen
yes... I need input from Wolfgang or Mike what the desired state of gnome-
shell.css should be for the various packages to implement this something ;)

Currently, gdm3 is not themable in Debian as the gdm3 packages lacks
setting up alternatives.

Thus, if we want to provide a Debian Edu background (or any other
adaptations of the gdm3 login screen, we need to move the main file
handling the gdm3 (gnome-shell.css) out of the way (with dpkg-divert)
and place our own gnome-shell.css file into that location.

The way I set this up for all d-e-a-<theme> packages is:

debian-edu-artwork does a dpkg-divert for gnome-shell.css to
gnome-shell.css.edu-diverted
then debian-edu-artwork places a symlink from gnome-shell.css to
gnome-shell.css.edu-diverted

-> thus, diversions is handled in d-e-a (the common package of
all artworks)

then e.g. debian-edu-artwork-lines gets pulled in as a dependency
of debian-edu-artwork (and can be replaced by one of the other
alternatives (debian-edu-artwork-spacefun or -joy).

The postinst of either of those artwork packages replaces the
gnome-shell.css symlink from debian-edu-artwork to a file named
debian-edu-<theme>-gnome-shell.css


Btw.: the switch between the different debian-edu-artwork themes (if
more then one d-e-a-<theme> package is installed) goes like this:

dpkg-reconfigure debian-edu-artwork-<theme>

Mike
--
DAS-NETZWERKTEAM
mike gabriel, herweg 7, 24357 fleckeby
fon: [phone]

GnuPG Key ID 0x25771B31
mail: ***@das-netzwerkteam.de, http://das-netzwerkteam.de

freeBusy:
https://mail.das-netzwerkteam.de/freebusy/m.gabriel%40das-netzwerkteam.de.xfb

[Holger Levsen]

Hi Mike,

Post by Mike Gabriel

Post by Holger Levsen
yes... I need input from Wolfgang or Mike what the desired state of
gnome- shell.css should be for the various packages to implement this
something ;)

Currently, gdm3 is not themable in Debian as the gdm3 packages lacks
setting up alternatives.

is there a bug about this against gdm3? If not, please file one! (And yes,
please you do that, as you know the details better.)

Post by Mike Gabriel
Thus, if we want to provide a Debian Edu background (or any other
adaptations of the gdm3 login screen, we need to move the main file
handling the gdm3 (gnome-shell.css) out of the way (with dpkg-divert)

why not use update-alternatives? AIUI packages should use that, while dpkg-
divert is more for local admins.

Post by Mike Gabriel
and place our own gnome-shell.css file into that location.
debian-edu-artwork does a dpkg-divert for gnome-shell.css to
gnome-shell.css.edu-diverted
then debian-edu-artwork places a symlink from gnome-shell.css to
gnome-shell.css.edu-diverted

yes, and this fails / acts randomly as I described, as the order in which
packages are installed is non deterministic.

Post by Mike Gabriel
Btw.: the switch between the different debian-edu-artwork themes (if
dpkg-reconfigure debian-edu-artwork-<theme>

As explained, this is a broken hack.

We need priorities (so we get deterministic behavious) and so that if you
install the joy+lines-spacefun packages, lines becomes the default. And then
there must be a manual way to select another theme.


cheers,
Holger

[Petter Reinholdtsen]

[Holger Levsen]

Post by Holger Levsen
why not use update-alternatives? AIUI packages should use that,
while dpkg- divert is more for local admins.

Just for the record, dpkg-divert is not just for local admins.

But is update-alternatives really an alternative here? It can only be
used by cooperating packages, where all of them agree to use
update-alternatives. If the package with the file in question do not
use update-alternatives, none of the other packages can use it either.
While dpkg-divert can be used by non-cooperating packages.

Post by Holger Levsen
We need priorities (so we get deterministic behavious) and so that
if you install the joy+lines-spacefun packages, lines becomes the
default. And then there must be a manual way to select another
theme.

How is the Debian artwork packages picking gdm3 background? Can't we
use the same mechanism?

[Wolfgang Schweer]

Post by Holger Levsen
Yes, I've now seen the relevant code in debian/update-debian-edu-
symlink_gnome_shell_css() {
if [ -f /usr/share/gnome-shell/theme/gnome-shell.css.edu-diverted ]; then
ln -fs /usr/share/gnome-shell/theme/debian-edu-${EDUTHEME}-gnome-
shell.css /usr/share/gnome-shell/theme/gnome-shell.css
fi
}
(this is called from postinst...)
So yes, this will work, when only artwork-lines or artwork-joy is installed.
But when both or all three are installed, these postinsts will be executed in
random order and the last one will "win". That's hardly the expected result
:-)

By default only debian-edu-artwork and debian-edu-artwork-lines are
installed. Someone who needs/wants historic artwork will intentionally
install d-e-artwork-joy or d-e-artwork-spacefun. This theme is activated
then. So IMO no huge problem.

I found the above mentioned divert to be needed as:

- Gnome/gdm3 seems now to be different/not respecting configuration in
desktop-base like kdm and lightdm.

- The gdm3 login screen seems to be already a (scriptable)
gnome-session, configured in
/usr/share/gnome-shell/theme/gnome-shell.css

- I was unable to find a way other than diverting to change the
background (configured as a small 'repeated' image in 'background')
inside the css file. This image fills up the whole screen (making up a
black background).

Maybe there's another way...

Wolfgang

[Mike Gabriel]

Hi Wolfgang, Holger, Petter,

Post by Wolfgang Schweer
- I was unable to find a way other than diverting to change the
background (configured as a small 'repeated' image in 'background')
inside the css file. This image fills up the whole screen (making up a
black background).

There is indeed no other way, unless the gdm3 package maintainer
registers gnome-shell.css or the complete /usr/share/gnome-shell/theme
folder with the alternatives system of Debian.

Only then, we can use update-alternatives, for now we need to stick
with dpkg-divert (or leave gdm3 un-artworked).

Greets,
Mike
--
DAS-NETZWERKTEAM
mike gabriel, herweg 7, 24357 fleckeby
fon: [phone]

GnuPG Key ID 0x25771B31
mail: ***@das-netzwerkteam.de, http://das-netzwerkteam.de

freeBusy:
https://mail.das-netzwerkteam.de/freebusy/m.gabriel%40das-netzwerkteam.de.xfb

[Holger Levsen]

Hi,

Post by Mike Gabriel
There is indeed no other way, unless the gdm3 package maintainer
registers gnome-shell.css or the complete /usr/share/gnome-shell/theme
folder with the alternatives system of Debian.
Only then, we can use update-alternatives, for now we need to stick
with dpkg-divert (or leave gdm3 un-artworked).

thats why we need a bug against gdm3...


cheers,
Holger

[Holger Levsen]

Hi Wolfgang,

(re-adding the bug..)

Post by Wolfgang Schweer
By default only debian-edu-artwork and debian-edu-artwork-lines are
installed. Someone who needs/wants historic artwork will intentionally
install d-e-artwork-joy or d-e-artwork-spacefun. This theme is activated
then. So IMO no huge problem.

well, imagine a school gets installed, everybody (well, most people) is happy
with the shiny lines background, time passes, some admin discovers the other
artwork packages and installs them, to give people choices. And suddenly the
phone starts to ring, as random people will have their background changed.
Some will think they have been hacked!

And besides that, it's just broken design.

Also: upgrades. Say you install lines and joy and choose joy (manually, the
way it's described in this report). Or spacefun. And then, an upgrade comes,
and on some machines joy/spacefun sttill is the theme used, while on some
others it's suddenly lines. This must not happen. (But this will happen
currently as package installation order is not deterministic...)

Post by Wolfgang Schweer
- Gnome/gdm3 seems now to be different/not respecting configuration in
desktop-base like kdm and lightdm.
- The gdm3 login screen seems to be already a (scriptable)
gnome-session, configured in
/usr/share/gnome-shell/theme/gnome-shell.css
- I was unable to find a way other than diverting to change the
background (configured as a small 'repeated' image in 'background')
inside the css file. This image fills up the whole screen (making up a
black background).

Thanks for this description! I will think about a better way...


cheers,
Holger

[Mike Gabriel]

Hi Holger,

Post by Holger Levsen
Hi Wolfgang,
(re-adding the bug..)

Post by Wolfgang Schweer
By default only debian-edu-artwork and debian-edu-artwork-lines are
installed. Someone who needs/wants historic artwork will intentionally
install d-e-artwork-joy or d-e-artwork-spacefun. This theme is activated
then. So IMO no huge problem.

well, imagine a school gets installed, everybody (well, most people) is happy
with the shiny lines background, time passes, some admin discovers the other
artwork packages and installs them, to give people choices. And suddenly the
phone starts to ring, as random people will have their background changed.
Some will think they have been hacked!

The system Debian Edu artwork selection happens system wide. So
super-user root should better finish work first and then answer the
phone. This is not on us to make people provide proper IT services.

Post by Holger Levsen
And besides that, it's just broken design.
Also: upgrades. Say you install lines and joy and choose joy (manually, the
way it's described in this report). Or spacefun. And then, an upgrade comes,
and on some machines joy/spacefun sttill is the theme used, while on some
others it's suddenly lines. This must not happen. (But this will happen
currently as package installation order is not deterministic...)

This is indeed true. Acknowledged.

Post by Holger Levsen

Post by Wolfgang Schweer
- Gnome/gdm3 seems now to be different/not respecting configuration in
desktop-base like kdm and lightdm.
- The gdm3 login screen seems to be already a (scriptable)
gnome-session, configured in
/usr/share/gnome-shell/theme/gnome-shell.css
- I was unable to find a way other than diverting to change the
background (configured as a small 'repeated' image in 'background')
inside the css file. This image fills up the whole screen (making up a
black background).

Thanks for this description! I will think about a better way...

One approach is to only call update-debian-edu-artwork-<theme> in the
bin:packages' postinst scripts if it is the current theme in use.

Additionaly, we could provide a common script
"update-debian-edu-artwork <theme>" that calls any of the subscripts
(if installed) and throws an error if not. This script will switch
between artworks (a one-liner).

For the installation of a Debian Edu machine, however, we have to call
update-debian-edu-artwork <theme>" at some point manually then.

The nice part of this would be, that debian-edu-artwork does not
change a thing on installation, but requires a manual step. Years
back, when I tested Debian and installed this package
debian-edu-artwork, my complete system felt compromised by some weird
Tux designer. We would provide a manual step to actually change
several settings all over the complete system by introducing this
manual activation of the Debian Edu artwork.

Greets,
Mike
--
DAS-NETZWERKTEAM
mike gabriel, herweg 7, 24357 fleckeby
fon: [phone]

GnuPG Key ID 0x25771B31
mail: ***@das-netzwerkteam.de, http://das-netzwerkteam.de

freeBusy:
https://mail.das-netzwerkteam.de/freebusy/m.gabriel%40das-netzwerkteam.de.xfb

[Holger Levsen]

Hi,

Post by Petter Reinholdtsen

Post by Holger Levsen
why not use update-alternatives? AIUI packages should use that,
while dpkg- divert is more for local admins.

Just for the record, dpkg-divert is not just for local admins.

well, it's certainly not the way it was designed (like native packages were
also designed and then it was found out that its better not to use them at
all...) but given the way they work - and given the alternatives system exist,
I came to the conclusion they should never be used by packages and update
alternatives should always be used instead. IIRC there is no usecase where
diverts achieve something which cannot be done with alternatives.

Post by Petter Reinholdtsen
But is update-alternatives really an alternative here? It can only be
used by cooperating packages, where all of them agree to use
update-alternatives. If the package with the file in question do not
use update-alternatives, none of the other packages can use it either.
While dpkg-divert can be used by non-cooperating packages.

Well, I think we want to have different themes in Debian too, not only in
Debian Edu. So the packages providing this already need to cooperate.

Post by Petter Reinholdtsen
How is the Debian artwork packages picking gdm3 background? Can't we
use the same mechanism?

good question.

I've joined #debian-desktop now to find out more about this...


cheers,
Holger

[Mike Gabriel]

Hi Holger,

Post by Holger Levsen
Hi Mike,

Post by Mike Gabriel

Post by Holger Levsen
yes... I need input from Wolfgang or Mike what the desired state of
gnome- shell.css should be for the various packages to implement this
something ;)

Currently, gdm3 is not themable in Debian as the gdm3 packages lacks
setting up alternatives.

is there a bug about this against gdm3? If not, please file one! (And yes,
please you do that, as you know the details better.)

Bug has been filed. [1]

Post by Holger Levsen

Post by Mike Gabriel
debian-edu-artwork does a dpkg-divert for gnome-shell.css to
gnome-shell.css.edu-diverted
then debian-edu-artwork places a symlink from gnome-shell.css to
gnome-shell.css.edu-diverted

yes, and this fails / acts randomly as I described, as the order in which
packages are installed is non deterministic.

Yeah, I get that. But the change in that dpkg diversion occurred between

0.48-1 [2]

and

0.49 [3]

Not between 0.49 and 0.50-1... (scratch head).

Actually, I just realized that I made a mistake in the changelog
entry. I mixed up dpkg-statoverride and dpkg-divert when writing the
commit message / changelog entry. That's why you guys could not find
that change in debian/changelog. Sorry for that!!!

Post by Holger Levsen

Post by Mike Gabriel
Btw.: the switch between the different debian-edu-artwork themes (if
dpkg-reconfigure debian-edu-artwork-<theme>

As explained, this is a broken hack.
We need priorities (so we get deterministic behavious) and so that if you
install the joy+lines-spacefun packages, lines becomes the default. And then
there must be a manual way to select another theme.

Hmmm... suggestions for a method here?

Currently, we pull in debian-edu-artwork. This depends on
debian-edu-artwork-lines | <other-themes>.

So the default is debian-edu-artwork-lines.

If you install debian-edu-artwork-spacefun or debian-edu-artwork-joy,
the -lines artwork gets overridden.


Mike

[1] http://bugs.debian.org/766328
[2]
http://anonscm.debian.org/cgit/debian-edu/debian-edu-artwork.git/commit/?id=6b0ad452256832675f3c5601400dfe946af8615b
[3]
http://anonscm.debian.org/cgit/debian-edu/debian-edu-artwork.git/commit/?id=d35528f1aa1cfbb4758f848a0f1bb8972df3f32c
--
DAS-NETZWERKTEAM
mike gabriel, herweg 7, 24357 fleckeby
fon: [phone]

GnuPG Key ID 0x25771B31
mail: ***@das-netzwerkteam.de, http://das-netzwerkteam.de

freeBusy:
https://mail.das-netzwerkteam.de/freebusy/m.gabriel%40das-netzwerkteam.de.xfb

[Holger Levsen]

user debian-***@lists.debian.org
usertag 766328 + debian-edu
thanks

Hi,

Post by Mike Gabriel
Bug has been filed. [1]

great, thanks, now usertagged properly now :)

Post by Mike Gabriel
Actually, I just realized that I made a mistake in the changelog
entry. I mixed up dpkg-statoverride and dpkg-divert when writing the
commit message / changelog entry. That's why you guys could not find
that change in debian/changelog. Sorry for that!!!

could you please fix that up too?! correct changelogs are really important!

Post by Mike Gabriel

Post by Holger Levsen
And besides that, it's just broken design.
Also: upgrades. [...]

This is indeed true. Acknowledged.

I'm glad you see the problem now.

Post by Mike Gabriel
One approach is to only call update-debian-edu-artwork-<theme> in the
bin:packages' postinst scripts if it is the current theme in use.

No you don't. You call it unconditionally. I've just read the code again :-D

Post by Mike Gabriel
Additionaly, we could provide a common script
"update-debian-edu-artwork <theme>" that calls any of the subscripts
(if installed) and throws an error if not. This script will switch
between artworks (a one-liner).

While you seem to see the problem now, you still seem to understand that this
will not help with non deterministic order of package installation.

Post by Mike Gabriel
For the installation of a Debian Edu machine, however, we have to call
update-debian-edu-artwork <theme>" at some point manually then.

No, we use priorities. Lines wins.

Post by Mike Gabriel
The nice part of this would be, that debian-edu-artwork does not
change a thing on installation, but requires a manual step.

That's not nice, thats backward.

Instead of replying to this email, maybe we should chat on irc?


cheers,
Holger