diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2006-07-03 18:33:31 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2006-07-03 18:33:31 +0200 |
| commit | b7952f4b67d7021dc912aed5f38bc45f03bfc064 (patch) | |
| tree | 5d18c4268786a05df634be6dbf3a68a2d0f282b6 /debian/postinst | |
| parent | c833c7a16381c383588265bbb35ed24ad383b53f (diff) | |
| parent | c64d1644ae0fd1af92c80a91a6c17b57f0b8f313 (diff) | |
* merged with apts 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 () |