This file is indexed.

/usr/sbin/update-debian-edu-artwork-lines is in debian-edu-artwork-lines 0.902-3.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
#! /bin/sh
set -e

EDUTHEME="lines"

set_active_theme() {
    update-alternatives --install \
        /usr/share/desktop-base/active-theme \
        desktop-theme \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme 60
}

restore_active_theme() {
    update-alternatives --remove \
        desktop-theme \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme
}

change_ldm_background() {
    update-alternatives --install /usr/share/ldm/themes/default \
        ldm-theme /usr/share/ldm/themes/debian-edu-${EDUTHEME} 85
}

restore_ldm_background() {
    update-alternatives --remove ldm-theme /usr/share/ldm/themes/debian-edu-${EDUTHEME}
}

## GRUB and PXE boot background
change_grub_background() {
    update-alternatives --install /usr/share/images/desktop-base/desktop-grub.png \
        desktop-grub \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme/grub/grub-4x3.png 40 \
        --slave /usr/share/desktop-base/grub_background.sh \
        desktop-grub.sh \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme/grub/grub_background.sh
    update-alternatives --install /usr/share/images/desktop-base/desktop-grub.png \
        desktop-grub \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme/grub/grub-16x9.png 40 \
        --slave /usr/share/desktop-base/grub_background.sh \
        desktop-grub.sh \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme/grub/grub_background.sh
    if which update-grub > /dev/null ; then
        sync
        update-grub || true
    fi
}

restore_grub_background() {
    update-alternatives --remove desktop-grub \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme/grub/grub-4x3.png
    update-alternatives --remove desktop-grub \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme/grub/grub-16x9.png
    if which update-grub > /dev/null ; then
        update-grub || true
    fi
}

## Wallpaper
change_desktop_background() {
    update-alternatives --install \
        /usr/share/images/desktop-base/desktop-background \
        desktop-background \
        /usr/share/desktop-base/active-theme/wallpaper/contents/images/1920x1080.svg 70
    update-alternatives --install \
        /usr/share/images/desktop-base/desktop-background.xml \
        desktop-background.xml \
        /usr/share/desktop-base/active-theme/wallpaper/gnome-background.xml 50
    update-alternatives --install \
        /usr/share/images/desktop-base/desktop-background.xml \
        desktop-background.xml \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme/wallpaper/gnome-background.xml 50

    for WALLPAPER in 1024x768.svg \
                     1280x1024.svg \
                     1600x1200.svg \
                     1920x1080.svg \
                     1920x1200.svg \
                     2560x1080.svg; do
    update-alternatives --install \
        /usr/share/images/desktop-base/desktop-background \
        desktop-background \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme/wallpaper/contents/images/$WALLPAPER 50
    done
}

restore_desktop_background() {
    update-alternatives --remove \
        desktop-background \
        /usr/share/desktop-base/active-theme/wallpaper/contents/images/1920x1080.svg
    update-alternatives --remove \
        desktop-background.xml \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme/wallpaper/gnome-background.xml

    for WALLPAPER in 1024x768.svg \
                     1280x1024.svg \
                     1600x1200.svg \
                     1920x1080.svg \
                     1920x1200.svg \
                     2560x1080.svg; do
    update-alternatives --remove \
        desktop-background \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme/wallpaper/contents/images/$WALLPAPER
    done
}

## Wallpaper
compile_gschemas() {
    if [ -d /usr/share/glib-2.0/schemas/ ] && [ -x /usr/bin/glib-compile-schemas ]; then
        glib-compile-schemas /usr/share/glib-2.0/schemas/
    fi
}

## Plymouth
set_plymouth_theme() {
    if [ -f /etc/plymouth/plymouthd.conf ] && [ -f /etc/debian-edu/config ] && which plymouth-set-default-theme > /dev/null ; then
        plymouth-set-default-theme -R debian-edu-${EDUTHEME} || true
    fi
}

## Lockscreen
set_lockscreen() {
    update-alternatives --install \
        /usr/share/images/desktop-base/desktop-lockscreen.xml \
        desktop-lockscreen.xml \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme/lockscreen/gnome-background.xml 50
}

restore_lockscreen() {
    update-alternatives --remove \
        desktop-lockscreen.xml \
        /usr/share/desktop-base/debian-edu-${EDUTHEME}-theme/lockscreen/gnome-background.xml
}

case "$1" in
	configure)
		if [ -x /usr/sbin/update-debian-edu-artwork-spacefun ]; then
			update-debian-edu-artwork-spacefun remove
		fi
		if [ -x /usr/sbin/update-debian-edu-artwork-softwaves ]; then
			update-debian-edu-artwork-softwaves remove
		fi
		set_active_theme
		change_ldm_background
		change_grub_background
		change_desktop_background
		compile_gschemas
		set_plymouth_theme
		set_lockscreen
	;;
	remove)
		restore_active_theme
		restore_ldm_background
		restore_grub_background
		restore_desktop_background
		compile_gschemas
		restore_lockscreen
	;;
esac