diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2006-07-26 23:29:20 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2006-07-26 23:29:20 +0200 |
| commit | af5a94f4c7b1f2cc797cd1e023e36a1bb359689d (patch) | |
| tree | b95e2e27ec3f5b020b055da187bb2012b1921aa3 /debian/postinst | |
| parent | 60681f9354217c830943315951e6559253bfa832 (diff) | |
| parent | 4577fda2b5f2b21f5400d10f4db71a8095f0df58 (diff) | |
* merged with mainline
Diffstat (limited to 'debian/postinst')
| -rwxr-xr-x | debian/postinst | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/debian/postinst b/debian/postinst index 891792111..1588f5241 100755 --- a/debian/postinst +++ b/debian/postinst @@ -12,7 +12,10 @@ set -e create_apt_conf () { - cp /usr/share/doc/apt/examples/sources.list /etc/apt/sources.list + EXAMPLE_SOURCE=/usr/share/doc/apt/examples/sources.list + if [ -f $EXAMPLE_SOURCE ]; then + cp $EXAMPLE_SOURCE /etc/apt/sources.list + fi } check_apt_conf () |