diff options
| author | bubulle@debian.org <> | 2006-05-10 20:27:12 +0200 |
|---|---|---|
| committer | bubulle@debian.org <> | 2006-05-10 20:27:12 +0200 |
| commit | fa7733bcf513215a5e8cbd6d9be3d867444b5f1e (patch) | |
| tree | daf6265a900f471c65c411b89e195808228ab90e /debian/postinst | |
| parent | 7bbc5183958e2cb5989a45ba3bf04eacd07c6534 (diff) | |
| parent | 41ca14b3108dbb7b01d1adceee857b52bc955bd5 (diff) | |
Sync with Michael
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 () |