This file is indexed.

/usr/share/debian-edu-config/tools/show-welcome-webpage is in debian-edu-config 1.702.

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
#!/bin/sh
#
# Start web browser with our welcome web page on first time login, and
# the first time when a user log after the URL to the page changes.

set -e

# Allow lookup script to be replaced using /etc/debian-edu/config
GETDEFAULTHOMEPAGE=/usr/share/debian-edu-config/tools/get-default-homepage

if [ -e /etc/debian-edu/config ] ; then
    . /etc/debian-edu/config
fi

if echo "$PROFILE" | egrep -q 'Main-Server|Workstation|Roaming-Workstation|Thin-Client-Server|Minimal' ; then
    welcomeurl=$($GETDEFAULTHOMEPAGE || true)
else
    welcomeurl=http://www.skolelinux.org/
fi

if [ -z "$welcomeurl" ] || [ "about:blank" = "$welcomeurl" ]; then
    exit 0
fi

flagdir="$HOME/.debian-edu"
flagfile="$flagdir/welcome-page-shown"

show_welcome_page() {
    mkdir -p "$flagdir"
    echo "$welcomeurl" > "$flagfile"
    exec x-www-browser "$welcomeurl"
}

if [ ! -f "$flagfile" ] ; then
    show_welcome_page
else
    oldwelcomeurl="$(cat $flagfile)"
    if [ "$welcomeurl" != "$oldwelcomeurl" ] ; then
	show_welcome_page
    fi
fi