diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2006-06-26 06:30:09 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2006-06-26 06:30:09 +0200 |
| commit | a23dcda4a75ead3ef9712d90300f45155856b6ce (patch) | |
| tree | 8951be2e20b5403c4339fa246b59d7770c8e2e46 /debian/postinst | |
| parent | bc03039d0f532b6463de33bff60c7d876af6ea5e (diff) | |
| parent | b90d7d855709c49a6d5faff0ac65b96fd15e4500 (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 () |