diff options
| author | Michael Vogt <egon@bottom> | 2006-05-17 17:58:24 +0200 |
|---|---|---|
| committer | Michael Vogt <egon@bottom> | 2006-05-17 17:58:24 +0200 |
| commit | 4f5bd4471049f89c4ce52864e62f54aadf1804d4 (patch) | |
| tree | 25284272f8e1ccfc3450166a01308c21db7223c0 /debian/postinst | |
| parent | 131a2dc0cb36c29d002c2a61f96411e5d84f4adf (diff) | |
| parent | 8c64fc132ce0743f02b4d7216a3646a8fb93d8b6 (diff) | |
merged with the debian-sid branch
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 () |