This file is indexed.

/usr/share/faumachine/experiments/test-isp/generate is in faumachine-data 20110812-1.2.

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

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
#
# $Id: generate,v 1.2 2009-03-19 14:13:50 potyra Exp $
#
# Copyright (C) 2007-2009 FAUmachine Team <info@faumachine.org>.
#
# This program is free software. You can redistribute it and/or modify it
# under the terms of the GNU General Public License, either version 2 of
# the License, or (at your option) any later version. See COPYING.
#
# insert Knoppix DVD
#
cdrom_insert	Knoppix-4.0.2-CD
#
# Power-on node.
#
power_on
#
# wait for boot:
#
wait_asc	boot:						2min
type		"knoppix 2 vga=normal nousb nopcmcia nofirewire "
type		"noaudio nodhcp\0d"
#
# Wait for bash prompt
# edit chat script
#
wait_asc	root@tty1[/]# 					15min
#
# setup pppd chat script
#
type	"echo \22\\\22\\\22 \\\22atz0\\\22\22 > /tmp/faumisp\0d"
type	"echo \22\\\22OK\\\22 \\\22atdp2\\\22\22 >> /tmp/faumisp\0d"
type	"echo \22\\\22Login:\\\22 \\\22^Ufaumuser\\\22\22 >> /tmp/faumisp\0d"
type	"echo \22\\\22Password:\\\22 \\\22geheim\\\22\22 >> /tmp/faumisp\0d"
wait_asc	root@tty1[/]#  					30sec
#
# start pppd
# 
type	"pppd ttyS0 connect '/usr/sbin/chat -v -f /tmp/faumisp'"
#type	" noauth local usepeerdns defaultroute\0d" 
#  -- disabled, because with current debian's slirp, usepeerdns doesn't
#  -- seem to work any longer.
type	" noauth local defaultroute\0d"
#
# wait for bash prompt
#
wait_asc	root@tty1[/]#  					60sec
#
# wait until ppp connection is up (FIXME: any saner way than to
# wait until the route is set?)
#
type	"X=$(grep ppp0 /proc/net/route); while [ -z \22$X\22 ]; do "
type	"X=$(grep ppp0 /proc/net/route); sleep 1; done"
type	"\0d"
wait_asc	root@tty1[/]#  					5min
#
# FIXME manually set DNS server.
#
type	"echo \22nameserver 10.0.2.3\22 > /etc/resolv.conf\0d"
wait_asc	root@tty1[/]#  					2min
#
# hopefully we're connected now. recheck with wget.
#
type	"cd /tmp && wget http://www3.informatik.uni-erlangen.de\0d"
wait_asc	[tmp]# 						4min
type	"head index.html"
type	"\0d"
#
# Wait for "<head>" (head of HTML document).
# Power-off.
wait_asc	<head>						1min
log	experiment successful.
power_off
delay								1sec
power_switch_off