manifests/vagrant.pp - Issue 4553114493386752: Initial configuration for issues.adblockplus.org

Keyboard Shortcuts

	File
u :	up to issue
m :	publish + mail comments
M :	edit review message
j / k :	jump to file after / before current file
J / K :	jump to next file with a comment after / before current file
	Side-by-side diff
i :	toggle intra-line diffs
e :	expand all comments
c :	collapse all comments
s :	toggle showing all comments
n / p :	next / previous diff chunk or comment
N / P :	next / previous comment
<Up> / <Down> :	next / previous line
<Enter> :	respond to / edit current comment
d :	mark current comment as done

	Issue
u :	up to list of issues
m :	publish + mail comments
j / k :	jump to patch after / before current patch
o / <Enter> :	open current patch in side-by-side view
i :	open current patch in unified diff view

	Issue List
j / k :	jump to issue after / before current issue
o / <Enter> :	open current issue
# :	close issue

	Comment/message editing
<Ctrl> + s or <Ctrl> + Enter :	save comment
<Esc> :	cancel edit

Delta Between Two Patch Sets: manifests/vagrant.pp

Issue 4553114493386752: Initial configuration for issues.adblockplus.org (Closed)

Left Patch Set: Created Dec. 13, 2013, 6:22 p.m.

Right Patch Set: Add to monitoring, rename to issues1 consistently, remove trailing ? Created Jan. 22, 2014, 2:50 p.m.

Left:
Right:

Use n/p to move between diff chunks; N/P to move between comments.

Jump to:

Left: Side by side diff | Download
Right: Side by side diff | Download

LEFT	RIGHT
1 define hostentry (	1 define hostentry (

2 $host = $title['host'],	2 $host = $title['host'],

3 $ip = $title['ip']	3 $ip = $title['ip']

4 ) {	4 ) {

5 host {$host:	5 host {$host:

6 ensure => present,	6 ensure => present,

7 ip => $ip,	7 ip => $ip,

8 name => $host	8 name => $host

9 }	9 }

10 }	10 }

(...skipping 11 matching lines...) Expand all Loading...
22 {host => 'stats.adblockplus.org', ip => '10.8.0.117'},	22 {host => 'stats.adblockplus.org', ip => '10.8.0.117'},

23 {host => 'server_4.adblockplus.org', ip => '10.8.0.99'},	23 {host => 'server_4.adblockplus.org', ip => '10.8.0.99'},

24 {host => 'server_5.adblockplus.org', ip => '10.8.0.100'},	24 {host => 'server_5.adblockplus.org', ip => '10.8.0.100'},

25 {host => 'server_6.adblockplus.org', ip => '10.8.0.101'},	25 {host => 'server_6.adblockplus.org', ip => '10.8.0.101'},

26 {host => 'server_7.adblockplus.org', ip => '10.8.0.102'},	26 {host => 'server_7.adblockplus.org', ip => '10.8.0.102'},

27 {host => 'server_10.adblockplus.org', ip => '10.8.0.105'},	27 {host => 'server_10.adblockplus.org', ip => '10.8.0.105'},

28 {host => 'server_11.adblockplus.org', ip => '10.8.0.106'},	28 {host => 'server_11.adblockplus.org', ip => '10.8.0.106'},

29 {host => 'server_12.adblockplus.org', ip => '10.8.0.107'},	29 {host => 'server_12.adblockplus.org', ip => '10.8.0.107'},

30 {host => 'server_15.adblockplus.org', ip => '10.8.0.110'},	30 {host => 'server_15.adblockplus.org', ip => '10.8.0.110'},

31 {host => 'server_19.adblockplus.org', ip => '10.8.0.114'},	31 {host => 'server_19.adblockplus.org', ip => '10.8.0.114'},

32 {host => 'server_22.adblockplus.org', ip => '10.8.0.117'},

33 {host => 'notification1.adblockplus.org', ip => '10.8.0.118'},	32 {host => 'notification1.adblockplus.org', ip => '10.8.0.118'},

34 {host => 'notification2.adblockplus.org', ip => '10.8.0.119'},	33 {host => 'notification2.adblockplus.org', ip => '10.8.0.119'},

35 {host => 'filter1.adblockplus.org', ip => '10.8.0.120'},	34 {host => 'filter1.adblockplus.org', ip => '10.8.0.120'},

36 {host => 'filter2.adblockplus.org', ip => '10.8.0.121'},	35 {host => 'filter2.adblockplus.org', ip => '10.8.0.121'},

37 {host => 'filter3.adblockplus.org', ip => '10.8.0.122'},	36 {host => 'filter3.adblockplus.org', ip => '10.8.0.122'},

38 {host => 'filter4.adblockplus.org', ip => '10.8.0.123'},	37 {host => 'filter4.adblockplus.org', ip => '10.8.0.123'},

39 {host => 'filter5.adblockplus.org', ip => '10.8.0.124'},	38 {host => 'filter5.adblockplus.org', ip => '10.8.0.124'},

40 {host => 'filter6.adblockplus.org', ip => '10.8.0.125'},	39 {host => 'filter6.adblockplus.org', ip => '10.8.0.125'},

41 {host => 'download1.adblockplus.org', ip => '10.8.0.126'},	40 {host => 'download1.adblockplus.org', ip => '10.8.0.126'},

42 {host => 'filtermaster1.adblockplus.org', ip => '10.8.0.127'},	41 {host => 'filtermaster1.adblockplus.org', ip => '10.8.0.127'},

43 {host => 'update1.adblockplus.org', ip => '10.8.0.128'},	42 {host => 'update1.adblockplus.org', ip => '10.8.0.128'},

44 {host => 'web1.adblockplus.org', ip => '10.8.0.129'},	43 {host => 'web1.adblockplus.org', ip => '10.8.0.129'},

45 {host => 'issues.adblockplus.org', ip => '10.8.0.130'},	44 {host => 'stats1.adblockplus.org', ip => '10.8.0.130'},

	45 {host => 'issues1.adblockplus.org', ip => '10.8.0.131'},

46 ]	46 ]

47	47

48 hostentry { $hosts: }	48 hostentry { $hosts: }

49 }	49 }

LEFT	RIGHT