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
| class drjava {
file { "drjava-stable-20120818-r5686.jar":
path => '/usr/bin/drjava-stable-20120818-r5686.jar',
ensure => file,
source => 'puppet:///modules/drjava/drjava-stable-20120818-r5686.jar',
owner => 'root',
group => 'root',
mode => '644',
}
file { "drjava":
path => '/usr/bin/drjava',
ensure => file,
source => 'puppet:///modules/drjava/drjava',
owner => 'root',
group => 'root',
mode => '755',
}
file { "drjava.desktop":
path => '/usr/share/applications/drjava.desktop',
ensure => file,
source => 'puppet:///modules/drjava/drjava.desktop',
owner => 'root',
group => 'root',
mode => '644',
}
file { "drjava.png":
path => '/usr/share/app-install/icons/drjava.png',
ensure => file,
source => 'puppet:///modules/drjava/drjava.png',
owner => 'root',
group => 'root',
mode => '644',
}
}
|